GitHub repository: mjendrusch/monoidal-categories-reboot
Primary language: Lean
Created: 2018-11-06T17:38:54Z
Description: monoidal categories in the Lean theorem prover