GeoCoq

该数据集是从GeoCoq知识库中衍生出的证明步骤数据，它被用作训练多语言模型和Coq模型的一部分，其任务是进行证明步骤预测。