/coqtheorem

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

Primary LanguageTeX

Stargazers

No one’s star this repository yet.