Is somebody is wondering this is used in Project Everest (https://project-everest.github.io https://project-everest.github.io) to provide a verified end-to-end,

Is somebody is wondering this is used in Project Everest (https://project-everest.github.io https://project-everest.github.io) to provide a verified end-to-end, high-performance, standards-compliant, formally verified implementation of components in HTTPS ecosystem (including TLS).