coq/dev/bench/timelog2html, branch master The formal proof system Special commit to start benchmarking. 2020-08-20T19:27:15+00:00 Maxime Dénès 2020-06-24T16:20:13+00:00 68a18c80332bace9064e202d13f01c880cc114ec