Popular repositories Loading

1. coq-bigO coq-bigO Public

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

   Coq 2

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. 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

4. FiVES-Nao-Visualisation FiVES-Nao-Visualisation Public archive

   JavaScript

5. JProver JProver Public

   Inofficial clone of JProver-tactic for Coq.

   OCaml

6. odoaker odoaker Public

   TypeScript