Stream: Coq users

Topic: Beautify

view this post on Zulip Huỳnh Trần Khanh (Aug 03 2022 at 12:48):

I want a formatter for Coq code. When I code in other programming languages, I don't want to care about code style. I just want to hit a button to format everything after typing some mess. I tried make beautify and even though the command produces equivalent Coq code, the code has unexpected formatting. Is there another formatter for Coq?

view this post on Zulip Huỳnh Trần Khanh (Aug 03 2022 at 12:49):

The Makefile is produced with the coq_makefile command. I installed Coq through the Coq Platform by running sudo snap install coq-prover. I just ran it yesterday, so the version that I have is very recent.

view this post on Zulip Li-yao (Aug 03 2022 at 12:58):

You're not the only one who would like to have a formatter :) Relevant discussion:

view this post on Zulip Théo Zimmermann (Aug 03 2022 at 16:47):

Beautify has not really been maintained lately. Someone could revive it (try to make it produce better formatting), but it is most likely that the next Coq formatter will come as a separate tool, maintained independently, and communicating with Coq through an interface such as SerAPI.

view this post on Zulip Karl Palmskog (Aug 04 2022 at 17:42):

there was some progress here, but I think the author got busy with a new job:

Last updated: Sep 26 2023 at 13:01 UTC