Homotopy Type Theory
Category — proof assistants

Overview

The Homotopy Type Theory wiki has 2 pages in this category.

Pages