brando/Coq-Gym-Data-Set download history

brando/Coq-Gym-Data-Set is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 10 times (2 in the last 7 days), and 480 times in total. It ranks #570,584 among datasets by monthly downloads.

Proverbot Scrapes Here we include a dump of proofs in coq-gym using the proverbot9001 tool. Dataset Structure: relevant_lemmas: A list of lemmas that are relevant to the proof. Each lemma is accompanied by its formal statement and registration in the proof context. pre

Open brando/Coq-Gym-Data-Set on Hugging Face

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