Software Foundations is a broad introduction to the mathematical underpinnings of reliable software.
Primary LanguageCoqMIT LicenseMIT