https://github.com/uds-psl/cook-levin
Revision 08a04f60c093e0ddb1a83eaa6882a35ed67dae83 authored by Lennard Gäher on 29 January 2021, 10:17:32 UTC, committed by Lennard Gäher on 29 January 2021, 10:17:32 UTC
1 parent bc20a70
Tip revision: 08a04f60c093e0ddb1a83eaa6882a35ed67dae83 authored by Lennard Gäher on 29 January 2021, 10:17:32 UTC
cleanup the comparison for time bound derivation, remove the polyTimeComputable approach from the comparison
cleanup the comparison for time bound derivation, remove the polyTimeComputable approach from the comparison
Tip revision: 08a04f6
File | Mode | Size |
---|---|---|
.github | ||
.vscode | ||
coq-library-undecidability @ 7033c53 | ||
theories | ||
website | ||
.gitignore | -rw-r--r-- | 138 bytes |
.gitmodules | -rw-r--r-- | 160 bytes |
CeCILL_LICENSE.txt | -rw-r--r-- | 21.3 KB |
Makefile | -rw-r--r-- | 1.4 KB |
README.md | -rw-r--r-- | 4.2 KB |
_CoqProject | -rw-r--r-- | 5.0 KB |
adjustCoqProject.sh | -rwxr-xr-x | 1.0 KB |
opam | -rw-r--r-- | 848 bytes |
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...