/perennial

Verifying concurrent crash-safe systems

Primary LanguageCoqMIT LicenseMIT

Stargazers