/coqtheorem

A LaTeX package to make theorem names link to coqdoc webpages. Works with ntheorem, amsthm and the LLNCS and LIPIcs classes.

Primary LanguageTeXMIT LicenseMIT

Issues