search

project-everest / mitls-fstar

Verified implementation of TLS 1.3 in F*
https://www.mitls.org
Other
173 stars 16 forks source link

HACL* API Update #259

Closed pnmadelaine closed 1 year ago

pnmadelaine commented 1 year ago

to merge at the same time as https://github.com/hacl-star/hacl-star/pull/789