ModelStructure-HTS software on GitHub

Software OPEN SOURCE

formalization of model structures in Homotopy Type System (in Coq)
Share - Bookmark