coqdoc

Here are 3 public repositories matching this topic...

Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]

Tool for reanimation of Coq proofs [maintainer=@JasonGross]

Machine-checked proofs of secrecy and authentication using CCSA framework

Add a description, image, and links to the coqdoc topic page so that developers can more easily learn about it.

To associate your repository with the coqdoc topic, visit your repo's landing page and select "manage topics."