2 <h1>LogicPlayer (version: 11/12/2014)</h1>
3 <p>LogicPlayer is an Android app for students of logic. It allows to resolve
4 exercises in propositional natural deduction. It can be download
5 <a href="LogicPlayer.apk">here</a>.</p>
7 <p>Notes: you need to register using the e-mail address @studio.unibo.it.</p>