4 ms·
Coq has that too! :) https://coq-bench.github.io/clean/Linux-x86_64-4.02.3-1.2.2/released/ https://coq-bench.github.io/clean/Linux-x86_64-4.02.3-1.2.2/...
by clarus 11y ago
Coq has that too! :) https://coq-bench.github.io/clean/Linux-x86_64-4.02.3-1.2.2/released/ https://coq-bench.github.io/clean/Linux-x86_64-4.02.3-1.2.2/...