There are 29 repositories under proof-assistant topic.
An introduction to programming language theory in Agda
This repo is the new home of Proof General
Verified Software Toolchain
Links to tools by subject
A Coq IDE build on top of Proof General's Coq mode
My personal repository of formally verified mathematics.
LaTTe : a Laboratory for Type Theory experiments (in clojure)
Coq Protocol Playground with Se(xp)rialization of Internal Structures.
Large Scale Type Systems (programming language)
A formalization of category theory in the Coq proof assistant.
Jupyter kernel for Coq
A Rust/WASM implementation of homotopy.io
Athena is a modern, practical language for proof engineering & natural deduction.
A JavaScript propositional logic and resolution library
Model finder for higher-order logic
Proof automation – for Agda, in Agda.
A non-interactive proof assistant using the Haskell type system
Type-level well-kinded natural numbers.