A prototypical proof checker and programming language based on illative combinatory logic
-
Updated
Sep 12, 2024 - OCaml
#
proof-checking
Here are 11 public repositories matching this topic...
proof language based on https://en.wikipedia.org/wiki/Sequent_calculus and https://us.metamath.org/.
-
Updated
Jan 23, 2024 - Rust
MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)
theorem-proving
propositional-logic
c89
natural-deduction
ansi-c
theorem-prover
proof-checking
lcf-style
proof-checker
-
Updated
Dec 19, 2023 - C
MIRROR of https://codeberg.org/catseye/Eqthy : A simple formalized language for equational proofs
-
Updated
Nov 10, 2023 - Python
MIRROR of https://codeberg.org/catseye/Maxixe : A simple proof checker
dsl
proof
propositional-logic
natural-deduction
proof-checking
proof-checker
predicate-logic
proof-language
-
Updated
Nov 10, 2023 - Python
Exposition of an LCF-style theorem prover for propositional logic in a Natural Deduction system
theorem-proving
propositional-logic
encapsulation
natural-deduction
theorem-prover
proof-checking
lcf-style
proof-checker
parse-dont-validate
cpressey-theory
-
Updated
Oct 31, 2023
not noq
-
Updated
Oct 23, 2023 - Rust
Provio will be a step-by-step math proof checker
-
Updated
Jan 4, 2023 - TypeScript
An implementation in Lambda-Prolog of the Minimalist Type Theory
-
Updated
Dec 8, 2018 - Prolog
a proof checker and model checker for minimal propositional logic
-
Updated
Jul 29, 2018 - Haskell
Online platform to enable Logic students to write, verify, and store System L style Natural Deduction proofs with real-time proof-checking
-
Updated
May 23, 2018 - JavaScript
Improve this page
Add a description, image, and links to the proof-checking topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the proof-checking topic, visit your repo's landing page and select "manage topics."