3 ms·Great website, massive rabbit hole I didn't know existed. There's a verified Ada/SPARK OS in there...by canyp 11mo agoGreat website, massive rabbit hole I didn't know existed. There's a verified Ada/SPARK OS in there...