文件名称：coq-atm:Coq 中经过验证的 ATM 程序
文件大小：4KB
文件格式：ZIP
更新时间：2024-07-15 18:35:57
Coq
科克自动柜员机 Coq 中经过验证的 ATM 程序。 我们尝试使用场景的概念，如那样，在使用文章调整。
【文件预览】：
coq-atm-master
----Make(41B)
----Computation.v(3KB)
----configure.sh(44B)
----LICENSE(1KB)
----Main.v(1KB)
----README.md(297B)
----Spec.v(2KB)
----.gitignore(27B)