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
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: May 18 2021 at 16:25 UTC