Redirecting to https://leanprover-community.github.io/logic_and_proof/_static/propositional_logic_in_lean.5.png