GitHub repository: Blaisorblade/my-ocaml-coq-benchs
Primary language: Shell
Created: 2019-10-22T21:09:46Z
Description: Hacky scripts for comparing Coq on different OCaml versions (more professional and heavier ways exist!)