Natural deduction app.

I created this Natural deduction app as my bachelor thesis project.
Link to the apple store
Download the thesis report

Shortly here will be a link to the corresponding paper and some explanation about how to use this app. Also I will publish some info about updates.

Last updated: 13 feb 2014