Geeks
b-mehta
/
topos
Topos theory in lean
Primary Language
Lean
topos GitHub
Markdown
Readme
31
Issues
55
Stargazers
9
Watchers
Watchers
alexjbest
King's College London
b-mehta
Cambridge
EdAyers
CMU
jhcloos
nasosev
@oneironaut-dev
thjread
United Kingdom
vcvpaiva
@ToposInstitute
Vtec234
Pittsburgh, USA
YiqiXu