https://github.com/JasonGross/coq-tools
History
Tip revision: 26f97680caa069f129830fcd7b5e44c8dc22b74b authored by Jason Gross on 09 April 2022, 12:33:46 UTC
Add MacOS CI
Tip revision: 26f9768
File Mode Size
.github
etc
examples
.gitignore -rw-r--r-- 1.0 KB
LICENSE -rw-r--r-- 1.1 KB
Makefile -rw-r--r-- 192 bytes
Popen_noblock.py -rw-r--r-- 1.4 KB
README.md -rw-r--r-- 3.0 KB
TODO.md -rw-r--r-- 2.5 KB
absolutize-imports.py -rwxr-xr-x 3.7 KB
admit_abstract.py -rw-r--r-- 3.8 KB
argparse_compat.py -rw-r--r-- 101 bytes
argparse_py2.py -rw-r--r-- 85.8 KB
binding_util.py -rw-r--r-- 1.3 KB
coq_running_support.py -rw-r--r-- 2.2 KB
coq_version.py -rw-r--r-- 7.2 KB
coqtop-as-coqc.sh -rwxr-xr-x 548 bytes
coqtop.bat -rw-r--r-- 11 bytes
custom_arguments.py -rw-r--r-- 13.1 KB
diagnose_error.py -rw-r--r-- 14.1 KB
file_util.py -rw-r--r-- 2.8 KB
find-bug.py -rwxr-xr-x 91.1 KB
get-admitted-names.py -rwxr-xr-x 9.4 KB
import_util.py -rw-r--r-- 35.6 KB
inline-imports.py -rwxr-xr-x 4.7 KB
memoize.py -rw-r--r-- 583 bytes
minimize-requires.py -rwxr-xr-x 12.3 KB
minimizer_drivers.py -rw-r--r-- 3.3 KB
move-requires.py -rwxr-xr-x 3.2 KB
move-vernaculars.py -rwxr-xr-x 10.1 KB
proof-using-helper.py -rwxr-xr-x 12.2 KB
replace_imports.py -rw-r--r-- 11.7 KB
split_definitions.py -rw-r--r-- 10.7 KB
split_definitions_old.py -rw-r--r-- 9.4 KB
split_file.py -rw-r--r-- 7.6 KB
strip_comments.py -rw-r--r-- 1.4 KB
strip_newlines.py -rw-r--r-- 806 bytes
util.py -rw-r--r-- 3.1 KB

README.md

back to top