Popular repositories Loading

1. polygraphs polygraphs Public

   An implementation of polygraphs-like structure to present (higher) HITs.

   Coq

2. cubical_forcing cubical_forcing Public

   Coq

3. HoTT HoTT Public

   Forked from HoTT/Coq-HoTT

   Homotopy type theory

   Coq

4. advent_of_code_2021 advent_of_code_2021 Public

   Agda implementation and proof-of-correctness of the advent of code 2021 problems

   Agda

5. agda-unimath agda-unimath Public

   Forked from UniMath/agda-unimath

   Univalent mathematics in Agda

   Makefile

6. matplotlib matplotlib Public

   Forked from matplotlib/matplotlib

   matplotlib: plotting with Python

   Python