license:mit size_categories:100K<n<1M format:json modality:text library:datasets library:dask library:mlcroissant region:us
---
license: mit
---

This dataset is for specification synthesis in Isabelle/HOL using LLM. It is composed of Isabelle's standard library and AFP files.