Datasetpublic

humanfia-lab/ipho-lean

sourceHugging Faceupdated 2mo agoView on Hugging Face

0likes84downloads

4 commits on main

a50fb752mo ago

Add problem-only Lean formalizations

ZhengyangZhang

77c55452mo ago

Add informal IPhO 2021-2025 solutions

AndyZijianZhang

a3f53943mo ago

Add IPhO 2021-2025 theory problems (by_problem) (#3)

Ligeng-Zhu, menik1126

888fd2c3mo ago

initial commit

Ligeng-Zhu