Palamedes Development
Palamedes Development published 1 application on Google Play, 3 people rated this app with an average rating of 5.00!
Logic++Logic++ is a multipurpose automated theorem proving and analysis tool for classical propositional logic (additional propositional logics may be added in updates). Its features include automated theorem proving, valid inference testing, automated (tableau)
Free App