Giters
jmchapman
/
restriction-categories
A formalisation of Restriction Categories in Agda
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
12
Watchers:
4
Issues:
0
Forks:
1
jmchapman/restriction-categories Stargazers
Alex Gryzlov
clayrat
Dmitry Malikov
dmalikov
ebigram
ebigram
Mateusz Kowalczyk
Fuuzetsu
Jacques Carette
JacquesCarette
James Chapman
jmchapman
Mario Román
mroman42
ndcroos
Scott Fleischman
scott-fleischman
Sergei Romanenko
sergei-romanenko
Aistis Raulinaitis
sheganinans
Tim Kersey
tkersey