Natural Deduction教育Play with this app and build some proofs in natural deduction style.Clicking on a formula automatica看更多 »
