Giters

choukh / Baby-Set-Theory

Coq集合论中文教程

Home Page:https://www.zhihu.com/column/c_1428798985025167360

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

coqmathset-theorytheorem-proving

About

Coq集合论中文教程

https://www.zhihu.com/column/c_1428798985025167360

coqmathset-theorytheorem-proving

License:Creative Commons Zero v1.0 Universal

Languages

Language:Coq 99.6%Language:Makefile 0.4%