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: 04 Apr 2025

https://github.com/xgrommx/coq-ecosystem

coq coq-ecosystem ecosystem

Last synced: 30 Apr 2025

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.

coq coq-ecosystem tex

Last synced: 22 Mar 2025

https://github.com/uwplse/coq-change-analytics

REPLICA: REPL Instrumentation for Coq Analysis

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

Last synced: 20 Mar 2025