LogicalAtomist / principia Star 227 Code Issues Pull requests The Principia Rewrite latex coq logic latex-packages formal-mathematics coq-ecosystem formal-proofs formal-logic history-of-philosophy Updated Jan 30, 2025 TeX
xgrommx / coq-ecosystem Star 42 Code Issues Pull requests ecosystem coq coq-ecosystem Updated Nov 2, 2018
yforster / coqtheorem Star 20 Code Issues Pull requests 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 Star 3 Code Issues Pull requests 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