JilinHu/Isabelle-spec-synthesis
收藏Hugging Face2025-01-08 更新2025-02-15 收录
下载链接：
https://hf-mirror.com/datasets/JilinHu/Isabelle-spec-synthesis
下载链接
链接失效反馈官方服务：
资源简介：
这是一个用于Isabelle/HOL规格合成的数据集，它包括Isabelle的标准库和AFP文件。
This dataset is for specification synthesis in Isabelle/HOL, including Isabelles standard library and AFP files.
提供机构：
JilinHu
