Is somebody is wondering this is used in Project Everest (<a href="https://project-everest.github.io" rel="nofollow">https://project-everest.github.io</a>) to provide a verified end-to-end, high-performance, standards-compliant, formally verified implementation of components in HTTPS ecosystem (including TLS).
I have read title as <a href="https://duckduckgo.com/?q=F***&t=ffab&atb=v138-4&ia=stock" rel="nofollow">https://duckduckgo.com/?q=F***&t=ffab&atb=v138-4&ia=stock</a> . I guess somebody was so disappointed by quality of code that have wrote language to fix that.