GitHub repository: openai/miniF2F
Primary language: Objective-C++
Created: 2021-05-04T09:46:26Z
Description: Formal to Formal Mathematics Benchmark