4 ms·

via: https://github.com/project-everest/hacl-star/blob/fstar-master/README.EverCrypt.md https://github.com/project-everest/hacl-star/blob/fstar-mast... >EverCr

via: https://github.com/project-everest/hacl-star/blob/fstar-master/README.EverCrypt.md https://github.com/project-everest/hacl-star/blob/fstar-mast... >EverCrypt is a work in progress -- if you're seriously contemplating using this code is a real system, get in touch with us first!

hackinthebochs 8y ago
I have only proved it correct, not tried it
- wahern 8y ago
  For the lucky ten thousand: https://www-cs-faculty.stanford.edu/~knuth/faq.html https://www-cs-faculty.stanford.edu/~knuth/faq.html (scroll to "What's the exact citation of your oft-cited comment about bugs?") Meta citation: https://xkcd.com/1053/ https://xkcd.com/1053/