Popular repositories Loading

1. prototype implementation of a dependently-typed language with an extendable constraints and accompanying materials

   TeX 8 1

3. Rewriting and verifying subterm relation from Coq-Equations in MetaCoq

   Coq 1