01
leanprover/lean4
Lean 4 programming language and theorem prover
- Stars
- 8.8K
- Forks
- 940
- Pushed
- Unknown
Trending repositories
leanprover’s trending work
Repositories from this owner that have appeared in GitHub Trending.
02
leanprover/verso
Lean documentation authoring tool
- Stars
- 374
- Forks
- 120
- Pushed
- Unknown
03
leanprover/lean4-cli
A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
- Stars
- 118
- Forks
- 28
- Pushed
- Unknown