natural-deduction
There are 43 repositories under natural-deduction topic.
AthenaFoundation/athena
Athena is a modern, practical language for proof engineering & natural deduction.
daviromero/nadia
Natural Deduction Proof Assistant (NADIA) is a tool for teaching Natural Deduction in Fitch-Style
jonaprieto/agda-prop
A Library for Classical Propositional Logic in Agda
catseye/Philomath
MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)
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.
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
catseye/Maxixe
MIRROR of https://codeberg.org/catseye/Maxixe : A simple proof checker
livrelogique/pravda
Pravda is a tool for teaching formal logic.
ndt93/Proof-Editor
A Fitch's style natural deduction proof editor
cpressey/LCF-style-ND
Exposition of an LCF-style theorem prover for propositional logic in a Natural Deduction system
flijnzaad/natural-natural-deduction
"Natural" Natural Deduction: a Theorem Prover for Propositional Logic
Bram-Hub/aris-java
Aris: a logic engine/formal proof interface; 2nd generation, successor to the C version of Aris.
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.
konstantinosKokos/aethel
Python module for (i) the representation of typelogical grammar derivations and (ii) their extraction from Lassy and Alpino-style dependency graphs.
loafey/logiko
A browser based natural deduction game
novalic/articles
some of the math in computer science
RAIRLab/Parallel-Verifier
Parallel Verification of Propositional Natural-Deduction Proof Graphs
ronitkothari/Natural-Deduction-Proof-Checker
A proof checker for natural deduction in predicate logic
jossmoff/buzzproof
🐝 LaTeX style for Linear Style Natural Deduction proofs similar to way found in COMP11120 at UoM
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,
shisharka/interactive_deduction
Natural deduction proof assistant
SvenWille/LogicForwardProofs
Propositional logic and FOL proofs (froward style)
artemmavrin/autoproof
Intuitionistic and classical propositional logic library
IgorFonck/logicits
An Intelligent Tutoring System aimed to support the learning procces of Natural Deduction in the context of Propositional and First Order Logics.
joshuacrotts/masters-thesis
This is a repository for my Master's thesis LaTeX source.
LeePatPat/NatDud
System L-style Natural Deduction Learning Tool - validates and gives feedback on proofs
lxndrcx/proofTheoryHOL
Equivalence of natural deduction and sequent calculus in HOL4
mzhang/Gentzen
Automated proof checker for predicate logic
pgarus97/NaturalDeductionSolver
A tool to support the proving of natural deduction proofs.
qdeduction/qbar
the rational proof assistant
rubenseyer/pistophylax
Natural deduction proof assistant
SukritiGupta/Logic
Logic for Computer Science course projects
9Y0/NaturalDeduction
A natural deduction prover in Gentzen's system.
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.
ChinmayMittal/COL703-Logic-For-CS
Logic for Computer Science, Course Repository, IITD 7th Semester 2023-24