Here's a formally-verified DNS Server: https://ironsides.martincarlisle.com/ https://ironsides.martincarlisle.com/ Not all the way down to the instruction leve

Here's a formally-verified DNS Server: https://ironsides.martincarlisle.com/ https://ironsides.martincarlisle.com/ Not all the way down to the instruction level, but it's a start.