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

https://github.com/forked-from-1kasper/ivy.mike

🧊 Ivy Mike: Cubical Base Library for Arend with definitional Path-β
https://github.com/forked-from-1kasper/ivy.mike

Last synced: 3 months ago
JSON representation

🧊 Ivy Mike: Cubical Base Library for Arend with definitional Path-β

Awesome Lists containing this project