madvorak / trimmer

Lean 4 script that removes trailing spaces in `.lean` files

Lean 4 script that removes trailing spaces in .lean files

Run with a single command line argument: path to the directory that you want trimmer to traverse (recursively).

In all .lean files, spaces at the end of lines will be removed (advisable to run after mathport).