Formal proofs
Some formal proofs written in Lean 4 for my own amusement.
Verification
To verify proofs imported by First.lean locally, run the following:
lake build
Some formal proofs written in Lean 4 for my own amusement.
To verify proofs imported by First.lean locally, run the following:
lake build