Proof, Logic and Formalization | lit.salon