https://github.com/lapin0t/ordinals
a couple formalizations of ordinals in agda
https://github.com/lapin0t/ordinals
Last synced: 16 days ago
JSON representation
a couple formalizations of ordinals in agda
- Host: GitHub
- URL: https://github.com/lapin0t/ordinals
- Owner: Lapin0t
- Created: 2018-10-28T21:35:35.000Z (almost 7 years ago)
- Default Branch: master
- Last Pushed: 2018-10-29T16:06:02.000Z (almost 7 years ago)
- Last Synced: 2025-10-03T20:50:03.236Z (16 days ago)
- Language: Agda
- Size: 5.86 KB
- Stars: 1
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files: