文件名称：mtg-tm:魔术证明聚会的完整性
文件大小：2KB
文件格式：ZIP
更新时间：2024-04-21 01:34:04
CommonLisp
最终项目：证明魔术的图灵完备性：ACL2中的聚会 作者：列昂尼德·别利亚耶夫（Leonid Belyaev）和塞缪尔·里昂（Samuel Lyon）
【文件预览】：
mtg-tm-main
----.gitignore(79B)
----utm.lisp(3KB)
----turing.lisp(1B)
----README.md(120B)
mtg-tm:魔术证明聚会的完整性
【文件属性】：
【文件预览】：
mtg-tm-main
----.gitignore(79B)
----utm.lisp(3KB)
----turing.lisp(1B)
----README.md(120B)
【文件预览】：
mtg-tm-main
----.gitignore(79B)
----utm.lisp(3KB)
----turing.lisp(1B)
----README.md(120B)