Proofling An automatic proof checker. Just plug in propositions and it will check for contradictions.