Go to https://github.com/Dacit/isabelle-benchmark.