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
less Shared.ListAutomation
Tip revision: 12e9dd9a3f970a69129fc7d03af73b2aa2bf8f06 authored by Andrej Dudenhefner on 10 November 2022, 12:20:10 UTC
Merge pull request #182 from mrhaandi/less-ListAutomation
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 |
Computing file changes ...