Zulip Chat Archive

Stream: new members

Topic: lean code formatter

Rajiv (Apr 23 2020 at 16:29):

I was wondering if there was some tool that would automatically format lean code into a canonical style similar to rustfmt or gofmt?

Patrick Massot (Apr 23 2020 at 16:40):

Not in Lean 3.

Patrick Massot (Apr 23 2020 at 16:41):

Lean 4 will make this much easier, so it will probably exist in the not too distant future.

Rajiv (Apr 23 2020 at 19:15):

Thanks @Patrick Massot

Last updated: Dec 20 2023 at 11:08 UTC