Skip to content

wip: document the simp-all tactic in the simp guide - #848

Open
grunweg wants to merge 1 commit into
leanprover-community:lean4from
grunweg:simp-docs-update
Open

wip: document the simp-all tactic in the simp guide#848
grunweg wants to merge 1 commit into
leanprover-community:lean4from
grunweg:simp-docs-update

wip: document simp_all

8185b6a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
run-script
succeeded May 22, 2026 in 4s