theostos/pile-of-rocq download history

theostos/pile-of-rocq is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 2,275 times (147 in the last 7 days), and 6,184 times in total. It ranks #10,237 among datasets by monthly downloads.

theostos/pile-of-rocq Pile-of-Rocq exported as normalized parquet tables with docstring + env_toc. Each config is <env>-<table> and loads one parquet table for one env. Load examples from datasets import load_dataset toc = load_dataset('theostos/pile-of-rocq', 'coq-actuary-toc

Open theostos/pile-of-rocq on Hugging Face

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