▲ 27 pointsIronclad 0.7.0 – formally verified Unix-like kernel in SPARK and Adacodeberg.orgby birdculture·1y ago·1 comments·view on hn ↗