sigurdschneider/coqtheorem
A LaTeX package to make ntheorem environment names link to coqdoc webpages
TeX
No issues in this repository yet.
A LaTeX package to make ntheorem environment names link to coqdoc webpages
TeX
No issues in this repository yet.