mit-plv / fiat-crypto
Cryptographic Primitive Code Generation by Fiat
See what the GitHub community is most excited about today.
Cryptographic Primitive Code Generation by Fiat
Mathematical Components
Coq library for tactics, basic definitions, sets, maps