Stream: Coq users

Topic: coq autoformatter


view this post on Zulip Joachim Breitner (Dec 11 2020 at 13:10):

Is there a Coq autoformatter out there?
(I assume I’d know about it and expect the answer is “no”, but worth asking nevertheless.)

view this post on Zulip Emilio Jesús Gallego Arias (Dec 11 2020 at 13:13):

Not one that is reliable, but Coq [and some other tools] do already provide a way to print an AST

view this post on Zulip Emilio Jesús Gallego Arias (Dec 11 2020 at 13:14):

so it wouldn't be too hard to improve it

view this post on Zulip Emilio Jesús Gallego Arias (Dec 11 2020 at 13:14):

to get the desired results

view this post on Zulip Fabian Kunze (Dec 11 2020 at 13:14):

Emilio Jesús Gallego Arias said:

Not one that is reliable, but Coq [and some other tools] do already provide a way to print an AST

The AST of terms or of the whole document?

view this post on Zulip Bas Spitters (Dec 11 2020 at 14:03):

http://www.eelis.net/coqindent/


Last updated: Jan 27 2023 at 01:03 UTC