GitHub repository: HeisenbugLtd/security
Primary language: Ada
Created: 2017-10-04T08:08:14Z
Description: A cryptographic framework, proven for correctness in SPARK