Follow

Building project with works pretty well already, can’t wait for compositional builds to land. And Proof General needs some rework to use the _build/ directory as far as I can tell. Fair warning: most of the resources you may find on the subject appear to concern the yet to be released Coq 8.10

See an example of a not so simple project here: github.com/ANSSI-FR/FreeSpec/p

Sign in to participate in the conversation
Mastodon

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!