Popular repositories Loading

1. coq-minicalc coq-minicalc Public

   Toy demo of lexing/parsing in Coq

   Makefile 12 1

2. hofstadter_g hofstadter_g Public

   Coq proofs about Hofstadter's function G

   Coq 3

3. coq-wip coq-wip Public

   Forked from coq/coq

   Some Work-In-Progress stuff about Coq

   OCaml 2

4. sketch-downloader sketch-downloader Public

   Download sketch.sh pages as markdown and {ocaml,reason} files

   OCaml 2 1

5. extraction-compute extraction-compute Public

   A Coq plugin for computing Coq terms through extraction

   Makefile 1

6. coq-debian-mingw32 coq-debian-mingw32 Public

   Shell