Laurent Théry

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...

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