Skip to content

feat: contractive and nonexp tactics - #558

Open
oliversoeser wants to merge 76 commits into
leanprover-community:masterfrom
oliversoeser:fixpoint-construction
Open

feat: contractive and nonexp tactics#558
oliversoeser wants to merge 76 commits into
leanprover-community:masterfrom
oliversoeser:fixpoint-construction

Merge branch 'master' into fixpoint-construction

210ad46
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
build-math
succeeded Aug 9, 2026 in 5m 3s