Popular repositories Loading

1. FormalizedCompilerAlgorithms FormalizedCompilerAlgorithms Public

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

   Coq 15

2. WhyNotW WhyNotW Public

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

   TeX 11

3. IWTypes IWTypes Public

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

   Coq 9

4. ConstructingII ConstructingII Public

   Constructing Inductive-Inductive types in Cubical Type Theory

   TeX 7

5. SetIIInit SetIIInit Public

   Set level inductive-inductive initiality

   Coq 1

6. Quizzer Quizzer Public

   Automated Japanese Tutor

   Python