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.
there is a WIP initiative here: https://github.com/appliedfm/vstyle
Thanks Karl, I will take a look!
Last updated: Sep 25 2023 at 12:01 UTC