https://github.com/5ht/agda-nr-cats

(n,r)-categories in agda
https://github.com/5ht/agda-nr-cats

Last synced: 21 days ago
JSON representation

(n,r)-categories in agda

• Host: GitHub
• URL: https://github.com/5ht/agda-nr-cats
• Owner: 5HT
• Created: 2019-01-20T04:04:56.000Z (almost 6 years ago)
• Default Branch: master
• Last Pushed: 2019-01-20T03:57:21.000Z (almost 6 years ago)
• Last Synced: 2024-11-24T16:52:46.839Z (about 2 months ago)
• Language: Agda
• Size: 5.86 KB
• Stars: 4
• Watchers: 3
• Forks: 4
• Open Issues: 0
• Metadata Files:

Awesome Lists containing this project