flaitenberger/proofwriter_gold_formalized download history

flaitenberger/proofwriter_gold_formalized is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 117 times (92 in the last 7 days), and 504 times in total. It ranks #101,856 among datasets by monthly downloads.

Open flaitenberger/proofwriter_gold_formalized on Hugging Face

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