文件名称：experiments:产生Coq效应的实验
文件大小：30KB
文件格式：ZIP
更新时间：2024-06-11 09:11:55
Coq
IO实验 使用Coq效果进行实验。
【文件预览】：
experiments-master
----configure.sh(44B)
----spin()
--------database.spin(893B)
--------atomic_increment.spin(579B)
--------.gitignore(13B)
----Make(399B)
----Dockerfile(314B)
----extraction()
--------.gitignore(15B)
----LICENSE(1KB)
----src()
--------Infinite.v(2KB)
--------Examples.v(4KB)
--------Login.v(5KB)
--------SuperMarket.v(2KB)
--------Compile.v(660B)
--------Glue.v(66B)
--------Callbacks.v(1KB)
--------SessionTypes.v(4KB)
--------Lock.v(3KB)
--------Trace.v(3KB)
--------SimpleSmallSteps.v(13KB)
--------Atm.v(2KB)
--------Positive.v(575B)
--------State.v(3KB)
--------Generalize.v(4KB)
--------ConstraintSmallSteps.v(21KB)
--------Temporal.v(4KB)
--------RunState.v(3KB)
--------CallbackJoin.v(1KB)
--------GuessNumber.v(3KB)
--------Sequential.v(968B)
--------SmallSteps.v(6KB)
--------Compose.v(269B)
--------UseCase.v(5KB)
----.gitignore(58B)
----README.md(47B)