项目描述 ：
This project is an effort to formalise small parts of mathematics over the univalent foundations in the framework of the Coq proof assistant. It is mainly for my personal education.

高级语言： Coq

项目主页：

项目地址: git://github.com/nyraghu/ufcoq.git

创建时间： 2021-06-08T07:54:28Z
项目社区：https://github.com/nyraghu/ufcoq
开源协议：Creative Commons Zero v1.0 Universal
下载