Popular repositories Loading

1. Formalization in Coq of algorithms used in compilers for the Compiler.org project

   Coq 15

2. Repository holding code and latex sources for paper "Why Not W?"

   TeX 12

3. A Coq development of the theory of Indexed W types with function extensionality.

   Coq 11

4. Constructing Inductive-Inductive types in Cubical Type Theory

   TeX 8

5. Set level inductive-inductive initiality

   Coq 1

6. APWorld and client that proxies a whole other AP game

   HTML 1