search

project-everest / mitls-fstar

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

Ckh master vale release #221

Closed Chris-Hawblitzel closed 5 years ago

Chris-Hawblitzel commented 5 years ago

Use Vale binary release rather than Vale sources