Last released Apr 7, 2026
A library to process Coq snippets embedded in documents, showing goals and messages for each Coq sentence.
Supported by
