ofiddy/predicator

A web app to allow creation of Natural Deduction proofs.

predicator

A web app to allow creation of Natural Deduction proofs.

Access it properly at: https://ofiddy.github.io/predicator/windows/formula_entry.html