Math· formal-proof
FIMO
Peking University / Huawei · 2023
149 IMO-shortlist problems formalized in Lean with informal statements for olympiad-level theorem proving.
Mathematics
Examples
No sample rows available for this dataset.
Peking University / Huawei · 2023
149 IMO-shortlist problems formalized in Lean with informal statements for olympiad-level theorem proving.
No sample rows available for this dataset.