cdf program logics:Xavier Leroy在2021年关于程序逻辑的演讲的Companion Coq开发 源码
程序逻辑:Coq的伴随开发 该存储库包含2020年至2021年法国科勒日大学Xavier Leroy开设的课程的Coq来源。 这项工作正在进行中。
下载地址
用户评论
