| 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 |
