GitHub repository: yforster/coqtheorem
Primary language: TeX
Created: 2017-03-04T16:53:51Z
Description: A LaTeX package to make theorem names link to coqdoc webpages. Works with ntheorem, amsthm and the LLNCS and LIPIcs classes.