yforster/coqtheorem
A LaTeX package to make theorem names link to coqdoc webpages. Works with ntheorem, amsthm and the LLNCS and LIPIcs classes.
TeXMIT
Stargazers
- acorrensonENS Rennes, Saarland University, CISPA
- ana-borges
- anton-trunovTON Foundation
- co-danGroningen
- euisunyUniversity of Pennsylvania
- hannelita(x, y, z, t)
- IainmonHonolulu, HI
- jonsterling@logsem
- mukeshtiwariSwansea
- omasanoriJapan, or anywhere else
- pi8027Nantes, France
- simongregersenNew York University
- tkersey@thisisartium
- womeierAarhus, Denmark