proof-assistant topic
coq-serapi
Coq Protocol Playground with Se(xp)rialization of Internal Structures.
company-coq
A Coq IDE build on top of Proof General's Coq mode
mlang
Towards changing things and see if it proofs
tool_lists
Links to tools by subject
plfa.github.io
An introduction to programming language theory in Agda
lambdapi
Proof assistant based on the λΠ-calculus modulo rewriting
FStar
A Proof-oriented Programming Language
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive developme...
jscoq
A port of Coq to Javascript -- Run Coq in your Browser
PG
This repo is the new home of Proof General