Pinned Loading

1. Yoneda-Ext Yoneda-Ext Public

   A formalisation of the long exact sequence of Yoneda Ext in Coq-HoTT

   Coq 6

2. central-types central-types Public

   Formalization of the paper "Central H-spaces and banded types"

   Coq 3 2

3. HoTT/Coq-HoTT HoTT/Coq-HoTT Public

   A Coq library for Homotopy Type Theory

   Coq 1.3k 197

4. martinescardo/HoTTEST-Summer-School martinescardo/HoTTEST-Summer-School Public

   HoTTEST Summer School materials

   TeX 297 70

5. jgm/pandoc jgm/pandoc Public

   Universal markup converter

   Haskell 36.7k 3.5k

6. NixOS/nixpkgs NixOS/nixpkgs Public

   Nix Packages collection & NixOS

   Nix 19.9k 15.3k