Skip to content

feat(lean,#16341): conway_lean v4.32.1 → v4.33.0 — Foundation simp chain + Fintype FreeWillTheorem - #17637

Merged
myia-ai-01 merged 2 commits into
mainfrom
feature/16341-conway-433-foundation
Sep 24, 2026
Merged

feat(lean,#16341): conway_lean v4.32.1 → v4.33.0 — Foundation simp chain + Fintype FreeWillTheorem#17637
myia-ai-01 merged 2 commits into
mainfrom
feature/16341-conway-433-foundation

Merge branch 'main' into feature/16341-conway-433-foundation

838e590
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar