fitch-proofs

There are 1 repository under fitch-proofs topic.

• Jumaruba / LPL-solutions

  Solutions for the book "Language Proof and Logic".

  lpllogicprooffitch-proofsfitch
  65

• mrieppel / fitchjs

  Fitch style proof constructor

  fitch-proofsjavascriptlatexlogicproofproof-assistant
  Language:JavaScript 28

• carlosantq / LPL

  📚Solutions to Language, Proof and Logic (2nd Edition)

  lplprooflogicfitch-proofsfitch
  20

• Girjoaba / Eunomia

  An educational tool for analyzing the correctness of Fitch Proofs.

  compilereducational-softwarefitchfitch-proofslogic
  Language:Java 8

• palmskog / fitch

  Certified proof checker for Fitch-style propositional logic proofs

  coqottpropositional-logicfitch-proofsocamlhol4cakeml
  Language:Standard ML 6

• mrieppel / FitchFX

  Fitch proof constructor (using rules from my version of the forall x textbook)

  fitch-proofsjavascript-applicationslatexlogicproofproof-assistant
  Language:JavaScript 5

• jhjeong314 / Proofmood

  Proofmood is a computer logic system specifically tailored for Fitch calculus, covering propositional logic, first-order logic, and type theory.

  pythonfitch-calculusfitch-proofstruth-tablejupyter-notebook
  Language:Jupyter Notebook 4

• CarstenKoenig / purescript-fitch-prover

  fun little tool for Fitch-style proofs inspired by a Stanford logic course on Coursera

  purescripthalogenfitch-proofs
  Language:PureScript 3

• samdsk / lab-logica

  Esercizi del laboratorio di Logica Dati @ Unimi informatica

  fitchfitch-proofslablogicatarski-s-worldunimi
  2

• SvenWille / LogicForwardProofs

  Propositional logic and FOL proofs (froward style)

  exercisefitch-proofsfolisabelleisabelle-hollogicnatural-deductionpropositional-logic
  Language:Isabelle 2

• markpock / fitch-proof-for-propositional-logic

  A utility for proofs in the propositional calculus. Currently finished - a way of parsing (most) valid strings in the PC as Sentences which can be added to proofs. Working on a mechanism for machine proof.

  fitchfitch-proofsformal-logicformal-proofslogicpropositional-calculuspropositional-logicpropositional-proof-systemsentential-calculus
  Language:Python 1

• adamdejl / pithosnd

  Web-based natural deduction proof assistant

  natural-deductionfirst-order-logicpropositional-logicproof-assistantformal-proofsfitch-proofs
  Language:JavaScript 0