A proof checker for natural deduction.