Proof Assistants

This page lists all of the Proof Assistants on this site in alphabetical order. Click a tool name in the first column to view tool details. Click a colorful item in the second column to view all the tools for which that term applies. Item colors mean nothing and are intended to make it easy to skim the page. Colors are generated by hashing each term’s name and converting it to RGB color values.

Tool	Applications	Licenses
Andromeda	Theorem Prover	BSD-3-Clause
Arend	Theorem Prover	Apache-2.0
Arvo	Theorem Prover
Aya Prover	Theorem Prover	MIT
BlazeIt	Theorem Prover	Yolo
cur	Theorem Prover Specification Language	BSD-2-Clause
Holbert	Theorem Prover	BSD-3-Clause
knuckledragger	Theorem Prover	MIT
Lambdapi	Theorem Prover
LISA	Theorem Prover	Apache-2.0
Narya	Theorem Prover	GPL-3.0
Qrhl-tool	Theorem Prover	MIT
SASyLF	Theorem Prover

Red dot indicates tool has not been updated or maintained recently