Popular repositories Loading

1. coq-bigO coq-bigO Public

   not my work, but a fork of https://gitlab.inria.fr/agueneau/coq-bigO/

   Coq 3

2. coq-library-undecidability coq-library-undecidability Public

   Forked from uds-psl/coq-library-undecidability

   A library of formalised undecidable problems in Coq

   Coq 1

3. opam-coq-archive opam-coq-archive Public

   Forked from rocq-prover/opam

   Archive for all Coq related OPAM packages organized in various repositories

   JavaScript 1

4. deckbox-scryfall-prices deckbox-scryfall-prices Public

   Greasemonkey script to see Magic: the gathering card prices fetched via scryfall, e.g. cardmarket, on deckbox.org

   1

5. FiVES-Nao-Visualisation FiVES-Nao-Visualisation Public archive

   JavaScript

6. JProver JProver Public

   Inofficial clone of JProver-tactic for Coq.

   OCaml