natural-deduction

There are 1 repository under natural-deduction topic.

• AthenaFoundation / athena

  Athena is a modern, practical language for proof engineering & natural deduction.

  formal-verificationlogicproof-assistanttheorem-provingnatural-deductionfunctional-programmingproof-language
  Language:Standard ML 61

• daviromero / nadia

  Natural Deduction Proof Assistant (NADIA) is a tool for teaching Natural Deduction in Fitch-Style

  natural-deductioneducational-softwarelogicproof-assistant
  Language:Python 28

• jonaprieto / agda-prop

  A Library for Classical Propositional Logic in Agda

  propositional-logicagdanatural-deductiontheorem-provingagda-library
  Language:Agda 15

• catseye / Philomath

  MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)

  ansi-cc89lcf-stylenatural-deductionproof-checkerproof-checkingpropositional-logictheorem-provertheorem-proving
  Language:C 14

• 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.

  lambda-prologlexer-generatornatural-deductionparser-generatorportfolioproofs
  13

• catseye / Maxixe

  MIRROR of https://codeberg.org/catseye/Maxixe : A simple proof checker

  proofproof-checkingdslpropositional-logicpredicate-logicnatural-deductionproof-languageproof-checker
  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

  natural-deductionproof-assistantproof-checkingantlr4nodejsjademongodb
  Language:JavaScript 10

• livrelogique / pravda

  Pravda is a tool for teaching formal logic.

  educational-projectfirst-order-logichilbertlogicnatural-deductionpropositional-logicsequent-calculuseducational-softwareproof-systems
  Language:TypeScript 7

• ndt93 / Proof-Editor

  A Fitch's style natural deduction proof editor

  fitchnatural-deductionlogicdiscrete-mathematics
  Language:JavaScript 6

• cpressey / LCF-style-ND

  Exposition of an LCF-style theorem prover for propositional logic in a Natural Deduction system

  natural-deductionlcf-stylepropositional-logicparse-dont-validateencapsulationtheorem-proverproof-checkertheorem-provingproof-checkingcpressey-theory
  5

• konstantinosKokos / aethel

  Python module for (i) the representation of typelogical grammar derivations and (ii) their extraction from Lassy and Alpino-style dependency graphs.

  lassytype-logical-grammarcategorial-grammardutchlinear-logiclambda-calculusalpinocorpusnatural-deductionproof-netaethel-dataset
  Language:Python 5

• Bram-Hub / aris-java

  Aris: a logic engine/formal proof interface; 2nd generation, successor to the C version of Aris.

  natural-deductionformal-proofsinterface
  Language:Java 4

• novalic / articles

  some of the math in computer science

  mathmathematicspythonproblem-solvingproblemsarticleslatexrelational-algebranatural-deductionlogic
  Language:TeX 4

• flijnzaad / natural-natural-deduction

  "Natural" Natural Deduction: a Theorem Prover for Propositional Logic

  theorem-provingtheorem-proverpropositional-logicnatural-deductionprolog
  Language:Python 3

• 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.

  formal-logiccs-educationlogicnatural-deductiontruth-tabletruth-tree
  Language:Java 3

• jossmoff / buzzproof

  🐝 LaTeX style for Linear Style Natural Deduction proofs similar to way found in COMP11120 at UoM

  latexnatural-deductionlinear-natural-deductionlogicformal-logic
  Language:TeX 2

• 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,

  prooflogicnatural-deductionoptical-character-recognitionmachine-learningneural-networkichackichack20androidkotlin
  Language:C++ 2

• RAIRLab / Parallel-Verifier

  Parallel Verification of Propositional Natural-Deduction Proof Graphs

  mpinatural-deductionverificationopenmpcpp
  Language:C++ 2

• ronitkothari / Natural-Deduction-Proof-Checker

  A proof checker for natural deduction in predicate logic

  algorithmscdepth-first-searchlogicnatural-deductionpredicate-logicproofshunting-yard-algorithm
  Language:C# 2

• shisharka / interactive_deduction

  Natural deduction proof assistant

  natural-deductionpropositional-logicinteractive-theorem-proving
  Language:C++ 2

• SvenWille / LogicForwardProofs

  Propositional logic and FOL proofs (froward style)

  exerciseisabelleisabelle-hollogicfolpropositional-logicnatural-deductionfitch-proofs
  Language:Isabelle 2

• artemmavrin / autoproof

  Intuitionistic and classical propositional logic library

  automated-theorem-provingnatural-deductionproof-searchintuitionistic-logicsequent-calculusclassical-logicpropositional-logic
  Language:Haskell 1

• IgorFonck / logicits

  An Intelligent Tutoring System aimed to support the learning procces of Natural Deduction in the context of Propositional and First Order Logics.

  learning-proccesitsintelligent-tutoring-systemnatural-deduction
  Language:Java 1

• joshuacrotts / masters-thesis

  This is a repository for my Master's thesis LaTeX source.

  automated-theorem-proverscs-educationfirst-order-logicgold-standardlogicnatural-deductionpropositional-logic
  Language:TeX 1

• LeePatPat / NatDud

  System L-style Natural Deduction Learning Tool - validates and gives feedback on proofs

  logicnatural-deduction
  Language:JavaScript 1

• lxndrcx / proofTheoryHOL

  Equivalence of natural deduction and sequent calculus in HOL4

  theorem-provingproof-theorynatural-deductionsequent-calculushollogic
  Language:Standard ML 1

• mzhang / Gentzen

  Automated proof checker for predicate logic

  natural-deductionparserscanner
  Language:C# 1

• pgarus97 / NaturalDeductionSolver

  A tool to support the proving of natural deduction proofs.

  javalogicnatural-deductiontheoretical-computer-science
  Language:Java 1

• qdeduction / qbar

  the rational proof assistant

  qbardeductionlogictype-theoryrustnatural-deductionrust-langrational-deductionproof-assistantformal-verification
  Language:Rust 1

• rubenseyer / pistophylax

  Natural deduction proof assistant

  logicproofsnatural-deduction
  Language:Python 1

• SukritiGupta / Logic

  Logic for Computer Science course projects

  first-order-logiclogicanalytic-tableauxpropositional-logicnatural-deduction
  Language:OCaml 1

• 9Y0 / NaturalDeduction

  A natural deduction prover in Gentzen's system.

  logicnatural-deductionintuitionistic-logicprover
  Language:Haskell 0

• chrisjpm / 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:

  automated-reasoningdissertationdissertation-projecthaskellhigher-order-logicmisonatural-deductionproof-assistantproofstheorem-provertheorem-provingthesisthesis-project
  Language:Haskell 0

• ChinmayMittal / COL703-Logic-For-CS

  Logic for Computer Science, Course Repository, IITD 7th Semester 2023-24

  first-order-logicnatural-deductionprologproof-checkerpropositional-logic
  Language:Python

• haztecaso / haskell-logic

  haskelllogicnatural-deduction
  Language:Nix

• 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.

  knights-knavesnatural-deductionrefutation-resolution
  Language:Jupyter Notebook