Verified implementation of TLS 1.3 in F* - Project Everest - project-everest |
GitHub | https://github.com/project-everest/mitls-fstar | |
Size | 77.7M (77.7M (+4K)) | |
Commits | 7297 (7296 (+1)) | |
Update Stats | 0s ... 1m11s [Ø (last 10) 2s (2,2,2,1,2,1,2,2,2,1))] | |
Last Change | 2023-08-19 04:26:44 | |
Last Check | 2023-09-16 14:16:34 | |
Created | 2022-07-24 11:16:32 |
Operation
Verifying url ...
Mail to Andreas Kupries