https://github.com/uds-psl/cook-levin
Revision 5a9a8b4f219c5b4dc92d438a0b63a18ec7a3ee54 authored by Fabian Kunze on 19 November 2020, 00:29:08 UTC, committed by Fabian Kunze on 19 November 2020, 00:29:08 UTC
1 parent cdee5b3
History
Tip revision: 5a9a8b4f219c5b4dc92d438a0b63a18ec7a3ee54 authored by Fabian Kunze on 19 November 2020, 00:29:08 UTC
remove travis
Tip revision: 5a9a8b4
File Mode Size
.github
coq-library-undecidability @ b6c2f92
theories
website
.gitignore -rw-r--r-- 120 bytes
.gitmodules -rw-r--r-- 160 bytes
CeCILL_LICENSE.txt -rw-r--r-- 21.3 KB
Makefile -rw-r--r-- 657 bytes
README.md -rw-r--r-- 2.7 KB
_CoqProject -rw-r--r-- 5.5 KB
opam -rw-r--r-- 976 bytes

README.md

back to top