The MSR Ironclad project builds provably secure and reliable systems.
Primary LanguageC#
No issues in this repository yet.