https://github.com/uds-psl/cook-levin
Revision 39492ee830ebb3c03fc6a598089df804cd9366b0 authored by Fabian Kunze on 18 November 2020, 20:41:42 UTC, committed by Fabian Kunze on 18 November 2020, 20:41:42 UTC
2 parent s 19fd160 + a0a2c16
History
Tip revision: 39492ee830ebb3c03fc6a598089df804cd9366b0 authored by Fabian Kunze on 18 November 2020, 20:41:42 UTC
Merge branch 'coq-8.12' of github.com:uds-psl/coq-library-complexity into coq-8.12
Tip revision: 39492ee
File Mode Size
.github
coq-library-undecidability @ b6c2f92
theories
website
.gitignore -rw-r--r-- 120 bytes
.gitmodules -rw-r--r-- 160 bytes
.travis.yml -rw-r--r-- 1.6 KB
CeCILL_LICENSE.txt -rw-r--r-- 21.3 KB
Makefile -rw-r--r-- 608 bytes
README.md -rw-r--r-- 2.6 KB
_CoqProject -rw-r--r-- 5.7 KB
opam -rw-r--r-- 976 bytes

README.md

back to top