An open API service indexing awesome lists of open source software.
Awesome Lists | Featured Topics | Projects
A curated list of projects in awesome lists tagged with coqdoc .
Tool for reanimation of Coq proofs [maintainer=@JasonGross]
coq coqdoc css html xml xsl
Last synced: 23 Oct 2024
