Stream: Coq devs & plugin devs

Topic: Waterproof becomes a plugin


view this post on Zulip Karl Palmskog (Jun 21 2023 at 10:25):

I noticed that the Waterproof proof language became a plugin about a day ago: https://github.com/impermeable/coq-waterproof/pull/14

@Emilio Jesús Gallego Arias do you know if the authors are aware of Coq's CI? Otherwise, they may be surprised by the work required to maintain/update this.

view this post on Zulip Emilio Jesús Gallego Arias (Jun 21 2023 at 11:51):

@Jim Portegies is around so we can ask him.

view this post on Zulip Karl Palmskog (Jun 21 2023 at 12:43):

for the record, the instructions for adding a plugin to CI: https://github.com/coq/coq/blob/master/dev/ci/README-users.md


Last updated: Dec 05 2023 at 11:01 UTC