leanprover / lean3

Lean Theorem Prover
2,150Updated last year

Related projects

Alternatives and complementary repositories for lean3