Skip to content

feat: monotone tactic - #595

Open
oliversoeser wants to merge 88 commits into
leanprover-community:masterfrom
oliversoeser:mono-tactic
Open

feat: monotone tactic#595
oliversoeser wants to merge 88 commits into
leanprover-community:masterfrom
oliversoeser:mono-tactic

Merge branch 'leanprover-community:master' into mono-tactic

cc8be1f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
build
succeeded Aug 10, 2026 in 4m 20s