If you want to see what verified software looks like then Project Everest is a g... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

measurablefunc 10 months ago | parent | context | favorite | on: AI will make formal verification go mainstream

If you want to see what verified software looks like then Project Everest is a good demonstration: https://project-everest.github.io/

Consider applying for YC's Winter 2027 batch! Applications are open till November 2.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact