https://github.com/0xd34df00d/integers
Look ma, I'm learning to count!
https://github.com/0xd34df00d/integers
equivalence grothendieck idris integers
Last synced: 5 months ago
JSON representation
Look ma, I'm learning to count!
- Host: GitHub
- URL: https://github.com/0xd34df00d/integers
- Owner: 0xd34df00d
- Created: 2019-04-03T22:00:11.000Z (over 7 years ago)
- Default Branch: master
- Last Pushed: 2019-06-17T17:47:47.000Z (about 7 years ago)
- Last Synced: 2025-10-24T11:01:51.219Z (9 months ago)
- Topics: equivalence, grothendieck, idris, integers
- Language: Idris
- Homepage:
- Size: 5.86 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files: