Software Foundations

The Software Foundations series is a broad introduction to the mathematical underpinnings of reliable software. The principal novelty of the series is that every detail is one hundred percent formalized and machine-checked: the entire text of each volume, including the exercises, is literally a “proof script” for the Coq proof […]

Source Article

Next Post

Programming Languages @ Penn

Fri Apr 3 , 2020
Programming Languages @ Penn The programming languages group at the University of Pennsylvania has been a hub for understanding the essence of computation. Research topics include type theory, functional programming, formal verification, and logic. Keep in Touch Check out [plclub] resources and tools on GitHub Courses Related Groups at Penn […]