https://github.com/uds-psl/coq-library-undecidability
Revision c1110b0b031bb92cf40972d12a5348d70d10c5c3 authored by Andrej Dudenhefner on 11 April 2023, 11:27:04 UTC, committed by GitHub on 11 April 2023, 11:27:04 UTC
Tip revision: c1110b0b031bb92cf40972d12a5348d70d10c5c3 authored by Andrej Dudenhefner on 11 April 2023, 11:27:04 UTC
Merge pull request #194 from mrhaandi/fasterZF
Merge pull request #194 from mrhaandi/fasterZF
Tip revision: c1110b0
File | Mode | Size |
---|---|---|
.github | ||
theories | ||
website | ||
.gitignore | -rw-r--r-- | 158 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-- | 18.3 KB |
opam | -rw-r--r-- | 948 bytes |
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...