News for hackers. Stuff that matters.

A comment on Libsodium 1.0.0 released. Parent comment

Re:Libsodium 1.0.0 released by sitkack on Wednesday September 24, 2014 @09:55PM (#8365156)
Theorem provers?
[ Parent | on HN ]
Re:Libsodium 1.0.0 released by nickmeharry on Wednesday September 24, 2014 @10:34PM (#8365271)
If you want proven crypto, there's always this project: https://github.com/idris-hackers/idris-crypto
[ Parent | on HN ]