Sign inSign up

mit-plv/fiat-crypto

Cryptographic Primitive Code Generation by Fiat

Rocq ProverStars 785Forks 163Watchers 785Open issues 167License Other
Details
仓库信息
Ownermit-plv
Homepagehttp://adam.chlipala.net/papers/FiatCryptoSP19/FiatCryptoSP19.pdf
GitHubhttps://github.com/mit-plv/fiat-crypto
Last pushed2025-12-12
Last updated2025-12-15
Issues fetched at—

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--