https://github.com/HoTT/HoTT
Tip revision: d66af2d5696fc49b38653d2397db3948d512726a authored by Ali Caglayan on 01 April 2024, 09:28:53 UTC
Merge pull request #1894 from Alizter/ps/rr/better_definition_of_monoidal_1_category
Merge pull request #1894 from Alizter/ps/rr/better_definition_of_monoidal_1_category
Tip revision: d66af2d
File | Mode | Size |
---|---|---|
Algebra | ||
Classes | ||
Metatheory | ||
Pointed | ||
WildCat | ||
bugs | ||
Idempotents.v | -rw-r--r-- | 462 bytes |
README.md | -rw-r--r-- | 798 bytes |
dune | -rw-r--r-- | 259 bytes |