Thank you for the kind words! I can't take credit for breaking any real ground though. My experiments are quite small in scale! I agree, formally verifiable op

Thank you for the kind words! I can't take credit for breaking any real ground though. My experiments are quite small in scale! I agree, formally verifiable operating-systems should really be the future. Take a look at Muen, they've done an amazing job at making a formally verified kernel in SPARK. https://www.muen.sk/ https://www.muen.sk/