homotopy (npm): Anders: Modal Homotopy Type System
Keywords: cubical-type-theory|dependent-types|mltt|proof-assistant|theorem-prover|type-checker|type-system