lean4

Lean 4 is the repository for the Lean 4 programming language and theorem prover, a tool for writing and checking formal proofs as well as developing functional programs. The project provides a quickstart guide, a homepage, a theorem proving tutorial, a functional programming guide, a documentation overview, a language reference, release notes starting at v4.0.0-m3, examples, and external contribution guidelines. Installation instructions are available on the project site, and the project can be built from source following the documented build process. Contributors are asked to read the contribution guidelines before submitting changes.