lean3 topic
List
lean3
repositories
lean
434
Stars
80
Forks
Watchers
Lean 3 Theorem Prover (community fork)
leanprover-community
lean3
