https://github.com/uds-psl/cook-levin
Revision 45a31a4d8da84f1afc2e99e72a87af4540472d8d authored by Yannick Forster on 29 September 2020, 08:35:40 UTC, committed by GitHub on 29 September 2020, 08:35:40 UTC
Binary Turing machines and direct reduction from Turing machines to BSM
2 parent s bc9fb0d + f078bf9
History
Tip revision: 45a31a4d8da84f1afc2e99e72a87af4540472d8d authored by Yannick Forster on 29 September 2020, 08:35:40 UTC
Merge pull request #61 from yforster/BinaryTMs
Tip revision: 45a31a4
File Mode Size
theories
website
.gitignore -rw-r--r-- 120 bytes
.gitmodules -rw-r--r-- 0 bytes
.travis.yml -rw-r--r-- 1.2 KB
CeCILL_LICENSE.txt -rw-r--r-- 21.3 KB
Makefile -rw-r--r-- 162 bytes
README.md -rw-r--r-- 8.9 KB
opam -rw-r--r-- 1.1 KB

README.md

back to top