phanerozoic/HOL-Light download history
phanerozoic/HOL-Light is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 31 times (9 in the last 7 days), and 194 times in total. It ranks #266,938 among datasets by monthly downloads.
HOL-Light A structured dataset of theorems and definitions from HOL Light, an interactive theorem prover for higher-order logic written in OCaml. Source Repository: https://github.com/jrh13/hol-light Commit: 87433ef35d8404ef3e336b8bdef8eddd09c768ff Files: 666 License: