Huỳnh Trần Khanh (Aug 03 2022 at 12:48): 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?
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.
Li-yao (Aug 03 2022 at 12:58):You're not the only one who would like to have a formatter :) Relevant discussion: https://coq.zulipchat.com/#narrow/stream/237977-Coq-users/topic/styleguide
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.
Karl Palmskog (Aug 04 2022 at 17:42):there was some progress here, but I think the author got busy with a new job: https://github.com/appliedfm/vstyle-tools
Last updated: Oct 13 2024 at 01:02 UTC