search

zhangir-azerbayev / ProofNet

Benchmark for undergraduate-level formal mathematics
MIT License
90 stars 13 forks source link

Fix tiny typo #4

Closed fzyzcjy closed 1 year ago