Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: proof-checking
pro465/nyaya
proof language based on https://en.wikipedia.org/wiki/Sequent_calculus and https://us.metamath.org/.
Language: Rust - Size: 46.9 KB - Last synced: 3 months ago - Pushed: 4 months ago - Stars: 1 - Forks: 0
catseye/Philomath
MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)
Language: C - Size: 51.8 KB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 12 - Forks: 1
catseye/Maxixe
MIRROR of https://codeberg.org/catseye/Maxixe : A simple proof checker
Language: Python - Size: 53.7 KB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 10 - Forks: 0
catseye/Eqthy
MIRROR of https://codeberg.org/catseye/Eqthy : A simple formalized language for equational proofs
Language: Python - Size: 96.7 KB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 4 - Forks: 1
pro465/nnoq
not noq
Language: Rust - Size: 94.7 KB - Last synced: 4 days ago - Pushed: 7 months ago - Stars: 4 - Forks: 1
milesrout/minimal-logic
a proof checker and model checker for minimal propositional logic
Language: Haskell - Size: 19.5 KB - Last synced: 10 months ago - Pushed: almost 6 years ago - Stars: 2 - Forks: 0
sacerdot/Minimalist-Type-Theory-In-Lambda-Prolog
An implementation in Lambda-Prolog of the Minimalist Type Theory
Language: Prolog - Size: 9.43 MB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 4 - Forks: 3
cpressey/LCF-style-ND
Exposition of an LCF-style theorem prover for propositional logic in a Natural Deduction system
Size: 123 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 2 - Forks: 0
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 - Size: 1.24 MB - Last synced: 10 months ago - Pushed: about 6 years ago - Stars: 10 - Forks: 3
lukaszcz/hcpl
A prototypical proof checker and programming language based on illative combinatory logic
Language: OCaml - Size: 347 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0
hacker-DOM/provio-2019
Provio will be a step-by-step math proof checker
Language: TypeScript - Size: 1.16 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0