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