←
Back to Open Source
🐙 GitHub Detail
R
jmchapman/restriction-categories
By jmchapman
A formalisation of Restriction Categories in Agda
GitHub
Agda
Updated 07 Mar 2023
Live Snapshot
⭐
Stars
12
🍴
Forks
1
📄
License
Unknown
🧩
Type
Agda
📘
About this open-source project
Live information fetched from GitHub.
A formalisation of Restriction Categories in Agda
🌿
Default Branch
master
🐞
Open Issues
0
👀
Watchers
12