Note that this is not to be confused with Software Foundations, the course on formal software verification: https://softwarefoundations.cis.upenn.edu/ https://s

Note that this is not to be confused with Software Foundations, the course on formal software verification: https://softwarefoundations.cis.upenn.edu/ https://softwarefoundations.cis.upenn.edu/.