mo271 / FormalBook

Formalizing "Proofs from THE BOOK"
53Updated this week

Related projects

Alternatives and complementary repositories for FormalBook