This is an automatic proof checker for natural deduction. The system implemented is the Fitch-style system taught by Dr. Burton in PHIL 290 at Pepperdine University.
Enter your proof below or select a problem. Check an incomplete proof with the Check button. Check a completed proof with the Submit button.