sudgy / math-from-nothing

Developing mathematics in Coq from the ground up
19Updated 7 months ago

Alternatives and similar repositories for math-from-nothing:

Users that are interested in math-from-nothing are comparing it to the libraries listed below