Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with coq-ecosystem
A curated list of projects in awesome lists tagged with coq-ecosystem .
https://github.com/logicalatomist/principia
The Principia Rewrite
coq coq-ecosystem formal-logic formal-mathematics formal-proofs history-of-philosophy latex latex-packages logic
Last synced: 10 Oct 2024
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.
Last synced: 28 Oct 2024
