#

coq-ecosystem

Here are 4 public repositories matching this topic...

principia

LogicalAtomist / principia

The Principia Rewrite

latex coq logic latex-packages formal-mathematics coq-ecosystem formal-proofs formal-logic history-of-philosophy

Updated May 18, 2024
TeX

xgrommx / coq-ecosystem

ecosystem coq coq-ecosystem

Updated Nov 2, 2018

yforster / coqtheorem

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

tex coq coq-ecosystem

Updated May 22, 2019
TeX

uwplse / coq-change-analytics

REPLICA: REPL Instrumentation for Coq Analysis

analytics analysis repl coq replica user-study coq-plugin coq-ecosystem read-eval-print-loop user-study-tool proof-engineering

Updated Jan 2, 2020
Python

Improve this page

Add a description, image, and links to the coq-ecosystem topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the coq-ecosystem topic, visit your repo's landing page and select "manage topics."