libsparkcrypto

A cryptographic library in SPARK 2014

Archived

GitHub
27 stars
8 watching
3 forks
Language: Ada
last commit: over 3 years ago
Linked from 1 awesome list

crypto-libraryformal-verification

Backlinks from these awesome lists: