https://github.com/uds-psl/coq-library-undecidability
History
Tip revision: 7c5ed07f77d88475298bc5266be1a0ea4f23219c authored by Yannick Forster on 24 October 2019, 06:52:12 UTC
Update README.md
Tip revision: 7c5ed07
File Mode Size
theories
website
.gitignore -rw-r--r-- 81 bytes
.travis.yml -rw-r--r-- 1023 bytes
CeCILL_LICENSE.txt -rw-r--r-- 20.6 KB
Makefile -rw-r--r-- 145 bytes
README.md -rw-r--r-- 988 bytes

README.md

back to top