Geeks
forked-from-1kasper
/
lean4-categories
Category Theory & Cobordism Categories in Lean 4
Primary Language
Lean
lean4-categories GitHub
Markdown
Readme
0
Issues
15
Stargazers
2
Watchers
Stargazers
alcides
LASIGE, University of Lisbon
algebraic-dev
AppServiceProvider
Dhaka, Bangladesh
beike-zh
Borschemancer
chenjulang
haoyun
jiangsy
jonsterling
University of Cambridge
nikitavoloboev
Madrid
noghartt
@firefliesai
pretentious7
uco-physics
wolverian
@reaktor