There are 0 repository under coq-ecosystem topic.
The Principia Rewrite
A LaTeX package to make theorem names link to coqdoc webpages. Works with ntheorem, amsthm and the LLNCS and LIPIcs classes.
REPLICA: REPL Instrumentation for Coq Analysis