https://github.com/JasonGross/coq-tools
Tip revision: fc4c213b6a6089922c8946b5c27f3547b4e4b7e8 authored by Jason Gross on 17 July 2024, 03:39:24 UTC
Account for Coq => Stdlib replacement (#209)
Account for Coq => Stdlib replacement (#209)
Tip revision: fc4c213
File | Mode | Size |
---|---|---|
.github | ||
coq_tools | ||
etc | ||
examples | ||
.gitignore | -rw-r--r-- | 1.0 KB |
LICENSE | -rw-r--r-- | 1.1 KB |
MANIFEST.in | -rw-r--r-- | 34 bytes |
Makefile | -rw-r--r-- | 1.7 KB |
README.md | -rw-r--r-- | 3.5 KB |
TODO.md | -rw-r--r-- | 2.5 KB |
absolutize-imports.py | -rwxr-xr-x | 128 bytes |
find-bug.py | -rwxr-xr-x | 118 bytes |
generate-full-grammar.py | -rwxr-xr-x | 131 bytes |
get-admitted-names.py | -rwxr-xr-x | 128 bytes |
inline-imports.py | -rwxr-xr-x | 124 bytes |
minimize-requires.py | -rwxr-xr-x | 127 bytes |
move-requires.py | -rwxr-xr-x | 123 bytes |
move-vernaculars.py | -rwxr-xr-x | 126 bytes |
proof-using-helper.py | -rwxr-xr-x | 128 bytes |
pyproject.toml | -rw-r--r-- | 662 bytes |
renovate.json | -rw-r--r-- | 114 bytes |
setup.py | -rw-r--r-- | 649 bytes |