Projects in Awesome Lists tagged with proof-checking
A curated list of projects in awesome lists tagged with proof-checking .
https://github.com/catseye/philomath
MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)
ansi-c c89 lcf-style natural-deduction proof-checker proof-checking propositional-logic theorem-prover theorem-proving
Last synced: 10 Apr 2025
https://github.com/surajx/proof-assistant
Online platform to enable Logic students to write, verify, and store System L style Natural Deduction proofs with real-time proof-checking
antlr4 jade mongodb natural-deduction nodejs proof-assistant proof-checking
Last synced: 17 Aug 2025
https://github.com/catseye/maxixe
MIRROR of https://codeberg.org/catseye/Maxixe : A simple proof checker
dsl natural-deduction predicate-logic proof proof-checker proof-checking proof-language propositional-logic
Last synced: 12 Apr 2025
https://github.com/cpressey/lcf-style-nd
Exposition of an LCF-style theorem prover for propositional logic in a Natural Deduction system
cpressey-theory encapsulation lcf-style natural-deduction parse-dont-validate proof-checker proof-checking propositional-logic theorem-prover theorem-proving
Last synced: 06 Mar 2026
https://github.com/pro465/nnoq
not noq
proof-checker proof-checking proof-language rust simple theorem-prover theorem-proving
Last synced: 09 May 2025
https://github.com/catseye/eqthy
MIRROR of https://codeberg.org/catseye/Eqthy : A simple formalized language for equational proofs
equational-logic equational-theory proof-checker proof-checking proof-language
Last synced: 12 Apr 2025
https://github.com/sacerdot/minimalist-type-theory-in-lambda-prolog
An implementation in Lambda-Prolog of the Minimalist Type Theory
lambdaprolog proof-checking type-theory
Last synced: 08 Jan 2026
https://github.com/lukaszcz/hcpl
A prototypical proof checker and programming language based on illative combinatory logic
combinatory-logic functional-programming proof-checking theorem-proving
Last synced: 29 Jan 2026
https://github.com/pro465/nyaya
proof language based on https://en.wikipedia.org/wiki/Sequent_calculus and https://us.metamath.org/.
proof-checker proof-checking proof-languages rust simple theorem-proving
Last synced: 09 May 2025