Popular repositories Loading

1. book-embeddings book-embeddings Public

   C++ 1

2. Fifteen Fifteen Public

   The 15-puzzle

   JavaScript

3. multiply-by multiply-by Public

   A simple module for Workbench, for educational purposes

   Python

4. HoTT HoTT Public

   Forked from HoTT/Coq-HoTT

   Homotopy type theory

   Coq

5. UniMath UniMath Public archive

   Forked from UniMath/UniMath

   This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

   Coq

6. HoTT-book HoTT-book Public

   Forked from HoTT/book

   A textbook on informal homotopy type theory

   TeX