https://github.com/uds-psl/coq-library-undecidability
Revision 438d74da9bcaafa86382a28bd4a8419385189a92 authored by Andrej Dudenhefner on 07 December 2022, 11:14:50 UTC, committed by GitHub on 07 December 2022, 11:14:50 UTC
faster SOL, TM_to_BSM
Tip revision: 438d74da9bcaafa86382a28bd4a8419385189a92 authored by Andrej Dudenhefner on 07 December 2022, 11:14:50 UTC
Merge pull request #186 from mrhaandi/faster-SOL
Merge pull request #186 from mrhaandi/faster-SOL
Tip revision: 438d74d
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 ...