miniF2F

Objective-C++ ★ 437 updated 2y ago ▣ archived

Formal to Formal Mathematics Benchmark

No plain-English explanation yet — one is being written right now. Check back in a minute.