GitHub Trending Topics Languages

/

leanprover lean4

Public

Watch0 Fork940 Star8.8K

Code Issues Pull requests Insights

HEAD

README

No README is available through GitHub.

About

Lean 4 programming language and theorem prover

Readme
Activity
8.8K stars
0 watching
940 forks

Contributors

View all contributors

See what the GitStar community is most excited about today.

Trending

GitHub Trending Today GitHub Trending Weekly GitHub Trending Monthly

Languages

Browse all languages Trending Python Trending JavaScript

Explore

Browse GitHub topics AI repositories Developer tools

© 2026 GitStarGitHub Trending source