1:58:46Dynamic Languages Wizards Series - Panel on Language DesignEduardo CavazosRecommended by 2 • 14 years agoClassic
20:05Proof of ((p ∨ q) → r) ↔ (p → r) ∧ (q → r) with LeanEduardo CavazosRecommended by 1 • 6 years ago
