Geeks
UniMath
/
SetHITs
Primary Language
Coq
SetHITs GitHub
Markdown
Readme
5
Issues
8
Stargazers
7
Watchers
Watchers
benediktahrens
Delft University of Technology, NL
co-dan
Groningen
eemailme
jhcloos
m-lindgren
nmvdw
rmatthes
IRIT, Université de Toulouse, CNRS, Toulouse INP, UT3