Gitstar Ranking
Users
Organizations
Repositories
Rankings
Users
Organizations
Repositories
Sign in with GitHub
jedisct1
Fetched on 2024/08/28 07:41
jedisct1
/
fiat-crypto
Cryptographic Primitive Code Generation by Fiat -
View it on GitHub
http://adam.chlipala.net/papers/FiatCryptoSP19/FiatCryptoSP19.pdf
Star
1
Rank
4898865