premise-selection-in-isabelle
收藏OpenXLab2026-04-18 收录
下载链接：
https://openxlab.org.cn/datasets/OpenDataLab/premise-selection-in-isabelle
下载链接
链接失效反馈官方服务：
资源简介：
The dataset is designed for the task of premise selection, which involves selecting the most relevant premises (also called lemmas) for a given proof state. It includes over 4 million aligned pairs of proof context and relevant premises.
提供机构：
OpenDataLab
创建时间：
2023-12-07
