Great website, massive rabbit hole I didn't know existed. There's a verified Ada/SPARK OS in there...