/Ironclad-for-AutoMan

The MSR Ironclad project builds provably secure and reliable systems.

Primary LanguageDafnyOtherNOASSERTION

About

To learn more about the Ironclad Apps project, please see the related README file.

To learn more about the IronFleet project, please see the related README file.