A personal collection of formal proofs, definitions, and logic exercises written in the Lean Theorem Prover.
This repository serves as a learning playground and reference for working with Lean's type theory, logic, and functional programming tools.
andrefeijosantos/lean-proofs
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|