Giters
bgavran
/
Agda_Category_Theory
Formalization of category theory in Agda
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
13
Watchers:
5
Issues:
0
Forks:
1
bgavran/Agda_Category_Theory Stargazers
Rex O. Amin
aminorex
Bernardo Hummes
birromer
bond15
Fernando Silva
fersilva16
Kristijan Bartol
kristijanbartol
Markus Strasser
markusstrasser
Nikita
nikitavoloboev
Guilherme
noghartt
philomorphism
philomorphism
Schmurg
Nikola Selic
Selich
Tim Kersey
tkersey