小不点搜索
导航
|
登录
米高·卡拉臣油管开讲《软件基础》第一卷:逻辑基础。Coq是一个Proof Assistant,用于定理证明,可以用于程序的形式化验证,是目前在宾州,康乃尔,水卢,卡梅,爱丁堡等大学计算机本科专业高年级都会教授的课程(指Proof Assistant但不一定都教Coq)。如果你希望我把后面的课程也陆续
请输入举报反馈原因
验证提交
X