https://github.com/uds-psl/coq-library-undecidability
History
Tip revision: 707e41faa1ecdf885eecb6d5b2a43f387bdf22c6 authored by Dominik Kirst on 18 April 2020, 09:27:26 UTC
fixed typo in my hometown
Tip revision: 707e41f
File Mode Size
theories
website
.gitignore -rw-r--r-- 93 bytes
.gitmodules -rw-r--r-- 0 bytes
CeCILL_LICENSE.txt -rw-r--r-- 21.3 KB
Makefile -rw-r--r-- 265 bytes
README.md -rw-r--r-- 1.5 KB

README.md

back to top