https://github.com/uds-psl/coq-library-undecidability
Revision 12e9dd9a3f970a69129fc7d03af73b2aa2bf8f06 authored by Andrej Dudenhefner on 10 November 2022, 12:20:10 UTC, committed by GitHub on 10 November 2022, 12:20:10 UTC
2 parent s 2e5de03 + 55578a4
History
Tip revision: 12e9dd9a3f970a69129fc7d03af73b2aa2bf8f06 authored by Andrej Dudenhefner on 10 November 2022, 12:20:10 UTC
Merge pull request #182 from mrhaandi/less-ListAutomation
Tip revision: 12e9dd9
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