Stream: Coq users

Topic: Does exist anything like ocp-indent or ocamlformat for Coq?


view this post on Zulip Daniel Hilst Selli (Apr 27 2022 at 01:12):

I'm looking for a program to automatically format the Coq, like ocp-indent for ocaml or black for python or prettier for javascript

view this post on Zulip Pierre Courtieu (Apr 28 2022 at 08:58):

I am not aware of such program (that would be great) the only automated indentation for coq is the one I wrote for Proofgeneral. it is not perfect but usable. It does not support exotic notations without some tweaking though.

view this post on Zulip Karl Palmskog (Apr 28 2022 at 09:01):

there is a WIP initiative here: https://github.com/appliedfm/vstyle

view this post on Zulip Daniel Hilst Selli (Apr 28 2022 at 14:28):

Thanks Karl, I will take a look!


Last updated: Feb 01 2023 at 12:30 UTC