mo271 / FormalBook

Formalizing "Proofs from THE BOOK"
54Updated this week

Related projects

Alternatives and complementary repositories for FormalBook