tsca formaldev 源码
要求 安装dev分支的mi-cho-coq(762928b1a9d30e4cd0ce3f13bca51664ff4a53cf)。 安装coq-mathcomp-ssreflect.1.11.0 。
下载地址
用户评论
