An open API service indexing awesome lists of open source software.

https://github.com/rzrn/romeo

Castle Romeo: Experimental Theorem Prover for Category Theory
https://github.com/rzrn/romeo

category-theory mathematics proof-assistant theorem-prover

Last synced: about 2 months ago
JSON representation

Castle Romeo: Experimental Theorem Prover for Category Theory

Awesome Lists containing this project