Laurent Théry

Laurent Théry published 2 applications on Google Play, 5 people rated these apps with an average rating of 2.10!

Natural Deduction by Laurent ThéryNatural Deduction

Rated 4.20(5) — 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 App
TicTacToe TuTor by Laurent ThéryTicTacToe TuTor

Rated 0.00(0) — Laurent Théry

Completely 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