Ironclad, a formally verified Unix-like kernel written in Ada
Comments ⌘ Read more