leanprover/lean4
Lean 4 programming language and theorem prover
|
algorithm score
33.8
|
community score
N/A
|
stars
7.5k
|
0
0
embed this badge in your README
click copy to grab the markdown snippet
log in to leave a review
~~ reviews (0) ~~
no reviews yet. be the first!