mit-plv / fiat-crypto
git clone https://github.com/mit-plv/fiat-crypto.git
Cryptographic Primitive Code Generation by Fiat
+0
stars, 24h · #48,062
+~2
stars, 7 days · #27,945
+~10
stars, 30 days · #31,510
847
★ total · +0% this week
181
forks · 213 open issues
Star history (as recorded here)
LanguageRocq Prover
License—
Created2015-09-10 (11y ago)
Last push3d ago
OwnerOrganization