GitHub topics: natural-deduction
KiJeong-Lim/portfolio
My portfolio contains a lexer generator, a parser generator, my own λProlog interpreter, and several meta-theorems for the propositional logic with their proofs written in Coq.
Size: 10.5 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 14 - Forks: 0
daviromero/nadia
Natural Deduction Proof Assistant (NADIA) is a tool for teaching Natural Deduction in Fitch-Style
Language: Python - Size: 206 KB - Last synced at: 14 days ago - Pushed at: over 1 year ago - Stars: 30 - Forks: 0
AthenaFoundation/athena
Athena is a modern, practical language for proof engineering & natural deduction.
Language: Standard ML - Size: 12.6 MB - Last synced at: 24 days ago - Pushed at: 24 days ago - Stars: 71 - Forks: 4
jafaripur/avicenna-logic-system
A propositional logic system with truth tables, Lemmon-style proofs, parsing, and evaluation.
Language: PHP - Size: 169 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0
konstantinosKokos/aethel
A packaging of tools for expressing dependency graphs as typed derivations of a categorial grammar.
Language: Python - Size: 32.8 MB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 3
qdeduction/qbar
the rational proof assistant
Language: Rust - Size: 2.49 MB - Last synced at: 6 days ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 0
mnPanic/tesis
Tesis de licenciatura. DC UBA. PPA - Pani's Proof Assistant
Language: Haskell - Size: 35.5 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0
cpressey/LCF-style-ND
Exposition of an LCF-style theorem prover for propositional logic in a Natural Deduction system
Size: 123 KB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 6 - Forks: 0
jonaprieto/agda-prop
A Library for Classical Propositional Logic in Agda
Language: Agda - Size: 442 KB - Last synced at: 2 months ago - Pushed at: over 5 years ago - Stars: 16 - Forks: 1
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 at: about 2 months ago - Pushed at: about 7 years ago - Stars: 11 - Forks: 3
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 at: about 2 months ago - Pushed at: over 1 year ago - Stars: 14 - Forks: 2
loafey/logiko
A browser based natural deduction game
Language: Rust - Size: 270 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 3 - Forks: 0
RAIRLab/Parallel-Verifier
Parallel Verification of Propositional Natural-Deduction Proof Graphs
Language: C++ - Size: 1.05 MB - Last synced at: 2 days ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0
jossmoff/buzzproof
🐝 LaTeX style for Linear Style Natural Deduction proofs similar to way found in COMP11120 at UoM
Language: TeX - Size: 21.5 KB - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 2 - Forks: 0
IgorFonck/logicits
An Intelligent Tutoring System aimed to support the learning procces of Natural Deduction in the context of Propositional and First Order Logics.
Language: Java - Size: 23.6 MB - Last synced at: about 1 year ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0
LeePatPat/NatDud
System L-style Natural Deduction Learning Tool - validates and gives feedback on proofs
Language: JavaScript - Size: 22.3 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0
SergioT14/Theorem-proving-with-Scala
This repository will store three Scala notebooks made for my Computer Engineering Thesis. The notebooks are divided into categories, each with a different type of proven exercises: Resolution (and refutation), natural deduction and Knights&Knaves puzzles.
Language: Jupyter Notebook - Size: 241 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
livrelogique/pravda
Pravda is a tool for teaching formal logic.
Language: TypeScript - Size: 174 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 7 - Forks: 2
catseye/Maxixe
MIRROR of https://codeberg.org/catseye/Maxixe : A simple proof checker
Language: Python - Size: 53.7 KB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 10 - Forks: 0
9Y0/NaturalDeduction
A natural deduction prover in Gentzen's system.
Language: Haskell - Size: 25.4 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
chrisjpm/holbert Fork of liamoc/holbert
A graphical interactive proof assistant designed for education. My contributions: applying rules by elimination, proofs by induction, proofs by cases, multi-axiom element and misc css styling. Honours report grade: 76% :tada:
Language: Haskell - Size: 13.3 MB - Last synced at: almost 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0
Bram-Hub/aris-java Fork of garberlog/ARIS
Aris: a logic engine/formal proof interface; 2nd generation, successor to the C version of Aris.
Language: Java - Size: 14.8 MB - Last synced at: almost 2 years ago - Pushed at: almost 5 years ago - Stars: 4 - Forks: 2
joshuacrotts/masters-thesis
This is a repository for my Master's thesis LaTeX source.
Language: TeX - Size: 21.9 MB - Last synced at: almost 2 years ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0
EthanOrlander/cisc-204-tool
Jape 2.0?
Language: TypeScript - Size: 175 KB - Last synced at: 3 months ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
SukritiGupta/Logic
Logic for Computer Science course projects
Language: OCaml - Size: 5.33 MB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0
ronitkothari/Natural-Deduction-Proof-Checker
A proof checker for natural deduction in predicate logic
Language: C# - Size: 43 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
novalic/articles 📦
some of the math in computer science
Language: TeX - Size: 733 KB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 3 - Forks: 0
shisharka/interactive_deduction
Natural deduction proof assistant
Language: C++ - Size: 919 KB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 0
joshuacrotts/formal-logic-aiding-tutor
This is an extension of LLAT (the Logic-Learning Assistance Tool) which aims to improve its pedagogical value and UI, rather than being a mere solution provider.
Language: Java - Size: 32.7 MB - Last synced at: almost 2 years ago - Pushed at: almost 3 years ago - Stars: 3 - Forks: 1
pgarus97/NaturalDeductionSolver
A tool to support the proving of natural deduction proofs.
Language: Java - Size: 88.9 KB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0
ndt93/Proof-Editor
A Fitch's style natural deduction proof editor
Language: JavaScript - Size: 184 KB - Last synced at: almost 2 years ago - Pushed at: over 11 years ago - Stars: 6 - Forks: 0
mzhang/Gentzen
Automated proof checker for predicate logic
Language: C# - Size: 114 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0
flijnzaad/natural-natural-deduction
"Natural" Natural Deduction: a Theorem Prover for Propositional Logic
Language: Python - Size: 571 KB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 0
optimisan/Jeenius
A utility website related to academics
Language: HTML - Size: 237 KB - Last synced at: 8 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
MichaelClasby0/NaturalDeductionScanner
An Android app created in 24 hours for ICHACK2020. The app allows students to scan (or import) an image of a handwritten natural deduction proof and will verify its correctness,
Language: C++ - Size: 407 MB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0
artemmavrin/autoproof
Intuitionistic and classical propositional logic library
Language: Haskell - Size: 5.3 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0
francoisschwarzentruber/panda
Panda is a JAVA software for natural deduction.
Size: 11.1 MB - Last synced at: 2 months ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0
rubenseyer/pistophylax
Natural deduction proof assistant
Language: Python - Size: 60.5 KB - Last synced at: 2 months ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0
Vedant2311/SAT-solver-toolbox
Modeled the proof systems of Analytic-Tableaux, First-Order-Resolution, ROBDD etc. in Ocaml to efficiently solve the SAT problem
Language: OCaml - Size: 67.4 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
adamdejl/pithosnd
Web-based natural deduction proof assistant
Language: JavaScript - Size: 5.52 MB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 1
kbreczko/proof-checker
Program do sprawdzenia poprawności dowodów formuł logicznych w systemie dedukcji naturalnej
Language: OCaml - Size: 203 KB - Last synced at: over 2 years ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0
lxndrcx/proofTheoryHOL
Equivalence of natural deduction and sequent calculus in HOL4
Language: Standard ML - Size: 608 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0
