https://github.com/HoTT/HoTT
History
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
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

README.md

back to top