GeoCoq:基于Tarski公理系统的Coq中的几何形式化

【文件属性】：

文件名称：GeoCoq:基于Tarski公理系统的Coq中的几何形式化

文件大小：896KB

文件格式：ZIP

更新时间：2024-05-23 15:15:12

geometry euclid coq formalization elements

GeoCoq Coq中的几何形式化。 该库包含使用Coq证明助手的几何形式化。 它既包含有关几何基础的证明，又包含与高中相同样式的高级证明。 可以在这里找到详细信息和安装说明： : 错误报告： ： 邮件列表： : fr#!forum/