Ironclad 0.7.0 – formally verified Unix-like kernel in SPARK and Ada (codeberg.org) 27 points by birdculture 1y ago ↗ HN
1 comment
[ 2.8 ms ] story [ 13.4 ms ] thread