2 ms·Ironclad 0.7.0 – formally verified Unix-like kernel in SPARK and Ada27 points by birdculture 1y agonumerosix 1y agoGreat project!