public_html/index.html

   1 <html>
   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>
   6
   7 <p>Notes: you need to register using the e-mail address @studio.unibo.it.</p>
   8 </html>