https://github.com/JasonGross/coq-tools
Tip revision: c254f3e24796bb1344826a46a652c83c0ad86cff authored by Jason Gross on 06 March 2024, 23:27:25 UTC
All files use python3 now
All files use python3 now
Tip revision: c254f3e
| 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 |
