theostos/pile-of-rocq
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_nodes', split='train') steps = load_dataset('theostos/pile-of-rocq', 'coq-actuary-proof_steps', split='train') print(len(toc), len(steps)) Environments in this export… See the full description on the dataset page: https://huggingface.co/datasets/theostos/pile-of-rocq.
Add source provenance columns to rocq-rouche-capelli/toc_nodes.parquet
Add source provenance columns to rocq-relation-algebra/toc_nodes.parquet
Add source provenance columns to rocq-pi-agm/toc_nodes.parquet
Add source provenance columns to rocq-ollibs/toc_nodes.parquet
Add source provenance columns to rocq-num-analysis/toc_nodes.parquet
Add source provenance columns to rocq-metarocq/toc_nodes.parquet
Add source provenance columns to coq-zorns-lemma/toc_nodes.parquet
Add source provenance columns to coq-unimath/toc_nodes.parquet
Add source provenance columns to coq-trocq/toc_nodes.parquet
Add source provenance columns to coq-stdpp/toc_nodes.parquet
Add source provenance columns to coq-ssprove/toc_nodes.parquet
Add source provenance columns to coq-sail/toc_nodes.parquet
Add source provenance columns to coq-relation/toc_nodes.parquet
Add source provenance columns to coq-reglang/toc_nodes.parquet
Add source provenance columns to coq-quickchick/toc_nodes.parquet
Add source provenance columns to coq-quantumlib/toc_nodes.parquet
Add source provenance columns to coq-plouffe/toc_nodes.parquet
Add source provenance columns to coq-pil/toc_nodes.parquet
Add source provenance columns to coq-ordinal/toc_nodes.parquet
Add source provenance columns to coq-mmaps/toc_nodes.parquet
Add source provenance columns to coq-mk/toc_nodes.parquet
Add source provenance columns to coq-mathcomp/toc_nodes.parquet
Add source provenance columns to coq-math-classes/toc_nodes.parquet
Add source provenance columns to coq-libvalidsdp/toc_nodes.parquet
Add source provenance columns to coq-library-fol/toc_nodes.parquet
Add source provenance columns to coq-kruskal/toc_nodes.parquet
Add source provenance columns to coq-karp-miller/toc_nodes.parquet
Add source provenance columns to coq-itree/toc_nodes.parquet
Add source provenance columns to coq-iris/toc_nodes.parquet
Add source provenance columns to coq-infotheo/toc_nodes.parquet
Add source provenance columns to coq-hott/toc_nodes.parquet
Add source provenance columns to coq-high-school-geometry/toc_nodes.parquet
Add source provenance columns to coq-graph-theory/toc_nodes.parquet
Add source provenance columns to coq-geocoq/toc_nodes.parquet
Add source provenance columns to coq-fourcolor/toc_nodes.parquet
Add source provenance columns to coq-flocq/toc_nodes.parquet
Add source provenance columns to coq-fcsl-pcm/toc_nodes.parquet
Add source provenance columns to coq-extructures/toc_nodes.parquet
Add source provenance columns to coq-ext-lib/toc_nodes.parquet
Add source provenance columns to coq-corn/toc_nodes.parquet
Add source provenance columns to coq-coquelicot/toc_nodes.parquet
Add source provenance columns to coq-coqtail/toc_nodes.parquet
Add source provenance columns to coq-coqprime/toc_nodes.parquet
Add source provenance columns to coq-coqeal/toc_nodes.parquet
Add source provenance columns to coq-compcert/toc_nodes.parquet
Add source provenance columns to coq-color/toc_nodes.parquet
Add source provenance columns to coq-atbr/toc_nodes.parquet
Add source provenance columns to coq-actuary/toc_nodes.parquet
Add source provenance columns to coq-compcert/toc_nodes.parquet
Add source provenance columns to coq-color/toc_nodes.parquet