Laurent Théry - Android Applications by Laurent Théry
Play with this app and build some proofs in natural deduction style.Clicking on a formula automatically expands it with possible rules.Assumptions are printed in blue. Selected one of them generates a new subtree.Attaching two trees is done by dragging...
Free AppCompletely free, no advertising.Click on a position and the app automatically evaluates the possible moves:There is a blue circle around the position: the crosses have a winning positionThere is a red circle around the position: the noughts have a winning
Free Game