@armchair_progamerM to Programming Languages • 1 year agoType Theory Forall - #34 Foundations of Theorem Provers and Cedille2 (Podcast)www.typetheoryforall.commessage-square0arrow-up11arrow-down10
arrow-up11arrow-down1external-linkType Theory Forall - #34 Foundations of Theorem Provers and Cedille2 (Podcast)www.typetheoryforall.com@armchair_progamerM to Programming Languages • 1 year agomessage-square0