/checkmate

the CheckMate protocol verification tool

Primary LanguageC++MIT LicenseMIT