教程开源项目点评

pnp

Coq

关于通过SSReflect在Coq中证明/编程的短期课程的讲义。

fork
17
star
137