Beyond Booleans: Propositions in Lean (via jo3_l) — discussion

#math #plt