Comment by measurablefunc

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