kings-crown/Isabelle_Proofs
收藏官方服务：
资源简介：
该数据集包含了自然语言陈述、Isabelle翻译、非正式证明、形式化证明和Isabelle正文等字段。它被划分为训练集，其中包含1024个示例，总大小为6128520字节。
The dataset includes fields such as natural language statements, Isabelle translations, informal proofs, formal proofs, and Isabelle bodies. It is split into a training set, which contains 1024 examples and has a total size of 6128520 bytes.
提供机构：
kings-crown
