GitHub repository: m-lindgren/largecatmodules
Primary language: Coq
Description: Large category of modules over monads on top of UniMaths and Display category