Some formal proofs written in Lean 4 for my own amusement.
To verify proofs imported by First.lean locally, run the following:
lake build| 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