top of page

Fitch-proof-solver

  • lihelpcompfatbatts
  • Feb 1, 2022
  • 1 min read
This is a demo of a proof checker for Fitch-style natural deduction systems found in many popular introductory logic textbooks. The specific system used here is ...












fitch-proof-solver


Logictools Natural deduction proof editor and checker. This is a demo of a proof checker for Fitch-style natural deduction systems found in many popular ... 939c2ea5af





 
 
 

Recent Posts

See All

Comments


bottom of page