jesse-michael-han / lean-tpe-public

The Lean Theorem Proving Environment
13Updated last year

Related projects

Alternatives and complementary repositories for lean-tpe-public