LogicPlayer is an Android app for students of logic. It allows to resolve exercises in propositional natural deduction. It can be download here.
Notes: you need to register using the e-mail address @studio.unibo.it.