cat-searcher/minif2f-lean4 download history

cat-searcher/minif2f-lean4 is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 1,293 times (421 in the last 7 days), and 10,427 times in total. It ranks #15,949 among datasets by monthly downloads.

Fixing the errors in some formal statements and informal proofs of minif2f-lean4.

Open cat-searcher/minif2f-lean4 on Hugging Face

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.