Peanoware

Play with this app and build some proofs in natural deduction style. Clicking on a formula automatically expands it with possible…

Screenshots from Chrome Web Store