sigurdschneider/coqtheorem
A LaTeX package to make ntheorem environment names link to coqdoc webpages
TeX
Stargazers
No one’s star this repository yet.
A LaTeX package to make ntheorem environment names link to coqdoc webpages
TeX
No one’s star this repository yet.