GitHub - whxvd/lean4: Lean 4 programming language and theorem prover · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit

About

Lean 4 programming language and theorem prover

lean-lang.org

Report repository

Releases

Packages

Contributors

Languages

Lean 94.9%
C++ 3.9%
Python 0.5%
Shell 0.4%
CMake 0.3%
Swift 0.0%