fitch-calculus

There are 0 repository under fitch-calculus topic.

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