4 ms·
Program Verification with F* (2017)
- StreamBright 8y agoIs 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).
- dlahoda 8y agoI have read title as https://duckduckgo.com/?q=F***&t=ffab&atb=v138-4&ia=stock https://duckduckgo.com/?q=F***&t=ffab&atb=v138-4&ia=stock . I guess somebody was so disappointed by quality of code that have wrote language to fix that.
- qwerty456127 8y agoLooks too much like the best language ever. Please tell us about some of its problems too, not only the good parts.