Zulip Chat Archive

Stream: new members

Topic: lean code formatter


view this post on Zulip 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?

view this post on Zulip Patrick Massot (Apr 23 2020 at 16:40):

Not in Lean 3.

view this post on Zulip 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.

view this post on Zulip Rajiv (Apr 23 2020 at 19:15):

Thanks @Patrick Massot


Last updated: May 18 2021 at 16:25 UTC