Jack Ullery

Do you want linters for the **Lean** or **C++** code (or both)? For the C++ code, it wouldn't be very difficult for me to add tools like _clang-tidy_ and _cppcheck_...