Giters

HoTT-Intro / Coq

Formalization of the Introduction to Homotopy Type Theory in Coq

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

Formalization of the Introduction to Homotopy Type Theory in Coq

License:GNU General Public License v3.0

Languages

Language:Coq 100.0%