Inspired by Emilio's template repo for plugins, I created a template repo for Coq program verification that showcases a lot of recent features added by the community, such as CI, using Dune, etc.
@Karl Palmskog Cross-posting is not necessary: all Discourse posts are already relayed on Zulip.
well, I'm never personally going to have any casual conversation in a Zulip-Discourse relay topic, and Discourse itself is terrible for casual questions/chat.
also, the repo link is absent from the relay post
I guess my choice of program verification framework (VST) was timely, since a book describing it was just released to the public: https://www.cs.princeton.edu/~appel/papers/plcc.pdf
Last updated: Jan 31 2023 at 13:02 UTC