amitayusht/ProofWalaDataset download history

amitayusht/ProofWalaDataset is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 431 times (12 in the last 7 days), and 5,016 times in total. It ranks #37,194 among datasets by monthly downloads.

📜 ProofWalaDataset The ProofWalaDataset is a multilingual dataset of formal theorem proving traces collected from multiple interactive theorem prover (ITP) ecosystems. It provides a structured view of proof steps, goals, hypotheses, and theorem names from diverse mathematical and program

Open amitayusht/ProofWalaDataset on Hugging Face

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