yforster / coqtheoremLinks

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

Alternatives and similar repositories for coqtheorem

Users that are interested in coqtheorem are comparing it to the libraries listed below

Sorting: