https://github.com/uds-psl/coq-library-undecidability
Revision 2e5de039fc88e28c2775d689388b2821701533c2 authored by Yannick Forster on 09 November 2022, 14:19:09 UTC, committed by GitHub on 09 November 2022, 14:19:09 UTC
2 parent s 7445301 + cb8d4bf
History
Tip revision: 2e5de039fc88e28c2775d689388b2821701533c2 authored by Yannick Forster on 09 November 2022, 14:19:09 UTC
Merge pull request #181 from uds-psl/yforster-patch-2
Tip revision: 2e5de03
File Mode Size
.github
theories
website
.gitignore -rw-r--r-- 144 bytes
.gitmodules -rw-r--r-- 0 bytes
CeCILL_LICENSE.txt -rw-r--r-- 21.3 KB
Makefile -rw-r--r-- 244 bytes
README.md -rw-r--r-- 17.6 KB
opam -rw-r--r-- 959 bytes

README.md

back to top