Closed ppedrot closed 4 years ago
Algorithmically much faster than coqbench-reader.sh.
This has been sitting on my hard drive for a long time, and I always use it over the bash script since the latter is sloooooow. No point in not publishing it.
Algorithmically much faster than coqbench-reader.sh.
This has been sitting on my hard drive for a long time, and I always use it over the bash script since the latter is sloooooow. No point in not publishing it.