Natural Deduction Evaluator

This app is an educational tool to help users learn logical natural deduction.

Users can create and store any number of distinct natural deduction proofs and edit them freely. The proofs are automatically evaluated by the app. The evaluations provide feedback on each individual step of the proof - whether a proposition is incorrectly formulated, correctly derived, incorrectly derived etc.

The app contains a list of derivation rules which can be used in proofs.

Users can swap between the Croatian and English version of the app.