Geeks
oxarbitrage
/
salsa20
Attempt to formalize salsa20 in lean
Primary Language
Lean
MIT License
MIT
salsa20 Home Page
salsa20 GitHub
Markdown
Readme
0
Issues
0
Stargazers
3
Watchers
Watchers
jhcloos
oxarbitrage
@zcash @ZcashFoundation