Leasier

Highlight proven (processed) regions of Lean 4 files in green, similar to VSRocq. Supports stepping through proof blocks with Alt+Up/Down.