LogicalAtomist/principia

The Principia Rewrite

Language: TeX - Size: 12.1 MB - Last synced at: 29 days ago - Pushed at: 3 months ago - Stars: 214 - Forks: 5

xgrommx/coq-ecosystem

Size: 67.4 KB - Last synced at: 3 days ago - Pushed at: over 6 years ago - Stars: 42 - Forks: 1

yforster/coqtheorem

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

Language: TeX - Size: 120 KB - Last synced at: 29 days ago - Pushed at: almost 6 years ago - Stars: 15 - Forks: 3

uwplse/coq-change-analytics

REPLICA: REPL Instrumentation for Coq Analysis

Language: Python - Size: 166 KB - Last synced at: about 1 month ago - Pushed at: over 5 years ago - Stars: 3 - Forks: 0