Discover Open Source Apps, Apps with Code, iOS Apps with Code, Android Apps with Code, Games with Code

Platform:

Language:

License:

This coq library aims to formalize a substantial body of mathematics using the u

Coq876other

6 months ago

coqcoq-libraryfoundations

This coq library aims to formalize a substantial body of mathematics using the u

Coq876other

6 months ago

coqcoq-libraryfoundations