Some formal proofs written in Lean 4 for my own amusement.
To verify proofs imported by First.lean locally, run the following:
lake buildMatherunner/formalproofs
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Some formal proofs written in Lean 4 for my own amusement.
To verify proofs imported by First.lean locally, run the following:
lake build