coq-ecosystem

There are 0 repository under coq-ecosystem topic.

• principia

  LogicalAtomist / principia

  The Principia Rewrite

  logichistory-of-philosophycoqcoq-ecosystemformal-logicformal-mathematicsformal-proofslatexlatex-packages
  Language:TeX 199

• xgrommx / coq-ecosystem

  coq-ecosystemcoqecosystem
  41

• yforster / coqtheorem

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

  texcoqcoq-ecosystem
  Language:TeX 14

• uwplse / coq-change-analytics

  REPLICA: REPL Instrumentation for Coq Analysis

  coqanalyticscoq-plugincoq-ecosystemproof-engineeringuser-studyuser-study-toolread-eval-print-loopreplreplicaanalysis
  Language:Python 3