GitHub repository: HoTT/M-types
Primary language: Agda
Created: 2015-02-11T09:44:56Z
Description: A formalization of M-types in Agda