Content-Length: 323265 | pFad | http://github.com/leanprover/lean4/#start-of-content

1F GitHub - leanprover/lean4: Lean 4 programming language and theorem prover
Skip to content

leanprover/lean4

BranchesTags

Repository files navigation

About

Lean 4 programming language and theorem prover

lean-lang.org

Topics

lean lean4

Resources

Readme

License

Apache-2.0 license
Activity
Custom properties

Stars

6.1k stars

Watchers

68 watching

Forks

629 forks
Report repository

Releases 86

v4.21.0 Latest
Jun 30, 2025
+ 85 releases

Packages

No packages published

Contributors 212

+ 198 contributors

Languages








ApplySandwichStrip

pFad - (p)hone/(F)rame/(a)nonymizer/(d)eclutterfier!      Saves Data!


--- a PPN by Garber Painting Akron. With Image Size Reduction included!

Fetched URL: http://github.com/leanprover/lean4/#start-of-content

Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy