Updated to use latest Lean 4, batteries#100
Open
imbrem wants to merge 3 commits intoargumentcomputer:mainfrom
Open
Updated to use latest Lean 4, batteries#100imbrem wants to merge 3 commits intoargumentcomputer:mainfrom
imbrem wants to merge 3 commits intoargumentcomputer:mainfrom
Commits
Commits on Jan 31, 2025
- committed
- committed
- committed
