fitch-proofs

Here are 5 public repositories matching this topic...

Fitch style proof constructor

javascript latex proof logic proof-assistant fitch-proofs

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

latex proof logic proof-assistant javascript-applications fitch-proofs

Natural deduction proof generator & checker

python math logic fitch natural-deduction modal-logic fitch-proofs proof-checker

Fitch proof constructor (using rules from my version of the forall x textbook) — Mirror of mrieppel.github.io/FitchFX/

Web-based natural deduction proof assistant

Add a description, image, and links to the fitch-proofs topic page so that developers can more easily learn about it.

To associate your repository with the fitch-proofs topic, visit your repo's landing page and select "manage topics."