proof-checking
There are 0 repository under proof-checking topic.
catseye / Philomath
MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)
Language:C 14- Language:Python 10
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
Language:JavaScript 10cpressey / LCF-style-ND
Exposition of an LCF-style theorem prover for propositional logic in a Natural Deduction system
MIRROR of https://codeberg.org/catseye/Eqthy : A simple formalized language for equational proofs
Language:Python 4- Language:Rust 4
sacerdot / Minimalist-Type-Theory-In-Lambda-Prolog
An implementation in Lambda-Prolog of the Minimalist Type Theory
Language:Prolog 4milesrout / minimal-logic
a proof checker and model checker for minimal propositional logic
Language:Haskell 3pro465 / nyaya
proof language based on https://en.wikipedia.org/wiki/Sequent_calculus and https://us.metamath.org/.
Language:Rust 1lukaszcz / hcpl
A prototypical proof checker and programming language based on illative combinatory logic
Language:OCaml 0hacker-DOM / provio-2019
Provio will be a step-by-step math proof checker
Language:TypeScript