Oliver

Oliver (OnLine Inference and VERification System for Propositional Logic proofs)) is available here. You are able to login into the system with any login name and password. An help for Oliver is available here. Oliver provides a web-based interface for learning propositional logic proofs, and accepts any valid direct proof. Oliver provides instant feedback to whether each step is correct or not and encourages experimentation.