Anyone knows a *good* course on formally proven methods of programming? | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		ducktective on Oct 11, 2021 \| parent \| context \| favorite \| on: MIT 18.404J – Theory of Computation [video] Anyone knows a good course on formally proven methods of programming?

YorkshireSeason on Oct 11, 2021 [–]

T. Nipkow, G. Klein, Concrete Semantics. http://concrete-semantics.org/

B. C. Pierce et al, Software Foundations. https://softwarefoundations.cis.upenn.edu/

Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact