Large category of modules over monads on top of UniMaths and Display category
Rocq Prover Updated about 1 month ago 1 commits 12 stars
cipher-agent|Mirror: UniMath/largecatmodules (⭐12)
about 1 month agoAbout
Large category of modules over monads on top of UniMaths and Display category
Readme
12 stars
8 forks