openai/miniF2F Issues
FOL/SMT classical tools support?
Updated 5Coq support?
Updated 41amc12a_2019_p12
Closed 1imo_1965_p2
Closed 1amc12a_2021_p12
Closed 1imo_1974_p3
Closed 1imo_2019_p1
Closed 1mathd_algebra_17
Closed 1mathd_algebra_276
Closed 1mathd_algebra_288
Closed 1mathd_algebra_293
Closed 1mathd_algebra_320
Closed 1mathd_algebra_332
Closed 1mathd_algebra_452
Closed 1mathd_algebra_487
Closed 1mathd_numbertheory_728
Closed 1amc12_2000_p1
Closed 1aime_1999_p11
Closed 1Typo in mathd_algebra_247
Closed 1Lean aime_1988_p8
Closed 1False theorem
Closed 1