Use Lean4 modules in more files#369
Draft
keyboardDrummer wants to merge 10 commits intostrata-org:mainfrom
Draft
Use Lean4 modules in more files#369keyboardDrummer wants to merge 10 commits intostrata-org:mainfrom
keyboardDrummer wants to merge 10 commits intostrata-org:mainfrom
Commits
Commits on Jan 29, 2026
- committed
Remy Willems - committed
- committed
- committed
- committed
- committed
Commits on Jan 30, 2026
- committed
Commits on Feb 2, 2026
- committed