coqstlczk：ZK证明编译器的Coq证明

【文件属性】：
文件名称：coqstlczk：ZK证明编译器的Coq证明
文件大小：113KB
文件格式：ZIP
更新时间：2021-02-08 09:31:57
Coq Coqstlczk ZK证明编译器的Coq证明

【文件预览】：
coqstlczk-main
----Maps.v(15KB)
----Stlc.ott(4KB)
----StlcRing.v(11KB)
----StlcGadget.v(7KB)
----StlcGadget.v~(7KB)
----_CoqProject(1KB)
----Hask()
--------Haskell.v(7KB)
--------Extract.v(2KB)
--------Ltac.v(7KB)
--------Crush.v(11KB)
--------Prelude.v(3KB)
--------Ssr.v(702B)
--------Control()
--------Data()
----README.md(46B)