ANTPG/annotated-isabelle download history

ANTPG/annotated-isabelle is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 39 times (10 in the last 7 days), and 322 times in total. It ranks #223,370 among datasets by monthly downloads.

Extensively annotated Isabelle source code, suitable for pretraining, about 500M tokens in Qwen3's tokenizer. Data source: Isabelle/HOL + AFP 2025-02-12. Cases from the PISA benchmark are removed. Example: lemma (in group) diff_neutralizes: ✐‹contributor ‹Paulo Emílio de Vilhena›› assumes "subgro

Open ANTPG/annotated-isabelle on Hugging Face

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