phanerozoic/Isabelle-AFP download history
phanerozoic/Isabelle-AFP is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 38 times (7 in the last 7 days), and 252 times in total. It ranks #227,732 among datasets by monthly downloads.
Isabelle-AFP Structured dataset from the Isabelle Archive of Formal Proofs (AFP) - the largest repository of formal proofs in Isabelle/HOL. Source Repository: https://github.com/isabelle-prover/mirror-afp-2024 Commit: 1549ea5b788b34986e3aef5613a0dce379aaee86 Files: 910