Last released Oct 15, 2021
A library to process Coq snippets embedded in documents, showing goals and messages for each Coq sentence.
Supported by
