Popular repositories Loading

1. proxy-based-small-inversions proxy-based-small-inversions Public

   An alternative to Rocq's inversion focused on reducing the generated term's size and eliminating equality hypotheses.

   Rocq Prover 2

2. metarocq metarocq Public

   Forked from MetaRocq/metarocq

   Metaprogramming, verified meta-theory and implementation of Rocq in Rocq

   Rocq Prover

3. basilegros.github.io basilegros.github.io Public

   TeX

4. stdlib stdlib Public

   Forked from rocq-prover/stdlib

   Stdlib for the Rocq Prover

   Rocq Prover