Skip to content

feat: port HeapLang heap tactics#521

Open
kdvkrs wants to merge 3 commits into
leanprover-community:masterfrom
kdvkrs:feat/heaplang-heap-tactics
Open

feat: port HeapLang heap tactics#521
kdvkrs wants to merge 3 commits into
leanprover-community:masterfrom
kdvkrs:feat/heaplang-heap-tactics

refactor: consolidate the heap-tactic epilogue, adopt `with` syntax

af2c03f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
build-math
succeeded Jul 22, 2026 in 4m 41s