largecatmodules software on GitHub

Software OPEN SOURCE

Large category of modules over monads on top of UniMaths and Display category
Share - Bookmark