...via e.g. [lean-fmt](https://github.com/lotusirous/lean-fmt).
...via e.g. lean-fmt.