Giters

choukh / MetaZF

Coq集合模型论

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

MetaZF

Coq集合模型论

About

Coq集合模型论

License:Creative Commons Zero v1.0 Universal

Languages

Language:Coq 99.1%Language:Makefile 0.9%