文件名称:signatures:CVC4的证明签名
文件大小:102KB
文件格式:ZIP
更新时间:2024-05-03 22:56:30
Lean
证明签名
该存储库包含CVC4的证明签名。
测验
测试LFSC签名
运行测试
make test运行所有LFSC测试。 make
【文件预览】:
signatures-master
----.github()
--------workflows()
----lean()
--------examples.lean(1KB)
--------euf.lean(1KB)
--------reordering.lean(2KB)
--------bv.lean(10KB)
--------examplesQuant.lean(740B)
--------leanpkg.toml(234B)
--------term.lean(14KB)
--------cdclt.lean(10KB)
--------README.md(559B)
--------leanpkg.path(53B)
--------quant.lean(929B)
--------exampleEUF.lean(3KB)
--------aux.lean(2KB)
----contrib()
--------get-lfsc-checker(1KB)
----doc()
--------bv()
----lfsc()
--------old()
--------new()
----lean4()
--------Cdclt()
--------leanpkg.toml(93B)
--------Cdclt.lean(51B)
--------README.md(452B)
--------leanpkg.path(21B)
----test()
--------lfsc()
----README.md(927B)
----.gitignore(85B)