/coqtheorem

A LaTeX package to make ntheorem environment names link to coqdoc webpages

Primary LanguageTeX

No issues in this repository yet.