/ProofNet

Benchmark for undergraduate-level formal mathematics

Primary LanguageLeanMIT LicenseMIT

Watchers