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-β
- Host: GitHub
- URL: https://github.com/forked-from-1kasper/ivy.mike
- Owner: forked-from-1kasper
- Created: 2022-04-05T13:28:26.000Z (about 3 years ago)
- Default Branch: master
- Last Pushed: 2022-07-07T12:18:42.000Z (almost 3 years ago)
- Last Synced: 2025-01-07T08:26:56.643Z (5 months ago)
- Homepage:
- Size: 54.7 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0