Theorem Proving

  • Basic Logic
  • Rules of Inference
  • Semantic Tableaux
  • EI, EG, UI, UG
  • Simple Python Prover
  • Simple Python Prover - code & runs