Benchmark for undergraduate-level formal mathematics - View it on GitHub