https://github.com/mjendrusch/monoidal-categories-reboot
monoidal categories in the Lean theorem prover
https://github.com/mjendrusch/monoidal-categories-reboot
category-theory lean leanprover theorem-proving
Last synced: 11 months ago
JSON representation
monoidal categories in the Lean theorem prover
- Host: GitHub
- URL: https://github.com/mjendrusch/monoidal-categories-reboot
- Owner: mjendrusch
- License: apache-2.0
- Created: 2018-11-06T17:38:54.000Z (over 7 years ago)
- Default Branch: master
- Last Pushed: 2019-05-06T08:58:28.000Z (about 7 years ago)
- Last Synced: 2023-03-10T17:23:11.991Z (over 3 years ago)
- Topics: category-theory, lean, leanprover, theorem-proving
- Language: Lean
- Homepage:
- Size: 43.9 KB
- Stars: 2
- Watchers: 3
- Forks: 4
- Open Issues: 0