@armchair_progamerM to Programming Languages • 1 year agoType Theory Forall (Podcast) - #33 Z3 and Lean, the Spiritual Journeywww.typetheoryforall.commessage-square0arrow-up15arrow-down11
arrow-up14arrow-down1external-linkType Theory Forall (Podcast) - #33 Z3 and Lean, the Spiritual Journeywww.typetheoryforall.com@armchair_progamerM to Programming Languages • 1 year agomessage-square0