Natural deduction proof checker

You can write, check, and share formal logic proofs in your browser. Sequent renders proof boxes, flags errors, and formats your source.