Geeks
mjendrusch
/
monoidal-categories-reboot
monoidal categories in the Lean theorem prover
Primary Language
Lean
Apache License 2.0
Apache-2.0
monoidal-categories-reboot GitHub
Markdown
Readme
0
Issues
2
Stargazers
3
Watchers
Stargazers
jcommelin
—
tkersey
@thisisartium