Coq has that too! :) https://coq-bench.github.io/clean/Linux-x86_64-4.02.3-1.2.2...

		clarus on March 4, 2016 \| parent \| context \| favorite \| on: Announcing Rust 1.7 Coq has that too! :) https://coq-bench.github.io/clean/Linux-x86_64-4.02.3-1.2.2/...