Not the cleanest, but it's at http://chriswarbo.net/projects/repos/theory-exploration-benchmarks.html http://chriswarbo.net/projects/repos/theory-exploration-be

Not the cleanest, but it's at http://chriswarbo.net/projects/repos/theory-exploration-benchmarks.html http://chriswarbo.net/projects/repos/theory-exploration-benc... Note that the static HTML views are truncated to 10 commits, to save space (useful on larger repos), but the repo itself contains the full history.