Geeks
mattam82
/
groupoid
Internalizing intensional type theory
Primary Language
HTML
groupoid Home Page
groupoid GitHub
Markdown
Readme
0
Issues
10
Stargazers
4
Watchers
Stargazers
greenrd
London, England
5HT
Kyiv, Ukraine
logicshan
JacquesCarette
Hamilton, Ontario, Canada
anqurvanillapy
Chengdu, China
xuanruiqi
Nagoya, Japan
SchrodingerZhu
Rochester, NY
ebigram
Jonathanseng
staroperator