File | Mode | Size |
---|---|---|
cleanup-braces.py | -rwxr-xr-x | 3.0 KB |
cleanup-braces.sh | -rwxr-xr-x | 124 bytes |
detect_errors.py | -rw-r--r-- | 1.8 KB |
docker_build.sh | -rwxr-xr-x | 421 bytes |
docker_push.sh | -rwxr-xr-x | 527 bytes |
fetch_olean_cache.sh | -rwxr-xr-x | 1.9 KB |
lean_version.lean | -rw-r--r-- | 265 bytes |
lint-style.py | -rwxr-xr-x | 15.2 KB |
lint-style.sh | -rwxr-xr-x | 1.4 KB |
lint_mathlib.lean | -rw-r--r-- | 3.7 KB |
lint_style_sanity_test.py | -rwxr-xr-x | 6.3 KB |
mk_all.sh | -rwxr-xr-x | 771 bytes |
nolints.txt | -rw-r--r-- | 67.2 KB |
nolints_summary.sh | -rwxr-xr-x | 432 bytes |
polyrith_sage.py | -rw-r--r-- | 3.2 KB |
polyrith_sage_helper.py | -rw-r--r-- | 2.6 KB |
rm_all.sh | -rwxr-xr-x | 221 bytes |
style-exceptions.txt | -rw-r--r-- | 6.9 KB |
update-style-exceptions.sh | -rwxr-xr-x | 700 bytes |
update_nolints.sh | -rwxr-xr-x | 1.1 KB |
yaml_check.lean | -rw-r--r-- | 1.8 KB |
yaml_check.py | -rw-r--r-- | 1.4 KB |