https://github.com/yforster/coqtheorem
A LaTeX package to make theorem names link to coqdoc webpages. Works with ntheorem, amsthm and the LLNCS and LIPIcs classes.
https://github.com/yforster/coqtheorem
coq coq-ecosystem tex
Last synced: 3 months ago
JSON representation
A LaTeX package to make theorem names link to coqdoc webpages. Works with ntheorem, amsthm and the LLNCS and LIPIcs classes.
- Host: GitHub
- URL: https://github.com/yforster/coqtheorem
- Owner: yforster
- License: mit
- Created: 2017-03-04T17:11:07.000Z (over 8 years ago)
- Default Branch: master
- Last Pushed: 2019-05-22T15:53:27.000Z (about 6 years ago)
- Last Synced: 2025-03-18T14:48:50.401Z (3 months ago)
- Topics: coq, coq-ecosystem, tex
- Language: TeX
- Homepage:
- Size: 120 KB
- Stars: 15
- Watchers: 2
- Forks: 3
- Open Issues: 3
-
Metadata Files:
- License: LICENSE