xl-zhao/formal_proof_v3_iter3 download history

xl-zhao/formal_proof_v3_iter3 is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 16 times (8 in the last 7 days), and 599 times in total. It ranks #433,426 among datasets by monthly downloads.

Open xl-zhao/formal_proof_v3_iter3 on Hugging Face

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