Giters

yforster / coqtheorem

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

yforster/coqtheorem Stargazers