https://github.com/uds-psl/coq-library-undecidability
Tip revision: 7c5ed07f77d88475298bc5266be1a0ea4f23219c authored by Yannick Forster on 24 October 2019, 06:52:12 UTC
Update README.md
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 |