sudgy / math-from-nothing

Developing mathematics in Coq from the ground up
18Updated 3 months ago

Related projects

Alternatives and complementary repositories for math-from-nothing