GitHub repository: profbrandon/Homotopy-Type-Theory
Primary language: Haskell
Created: 2017-08-22T20:35:58Z
Description: Implementation of ideas in Homotopy Type Theory