Hackernews posts about Ironclad 0.7.0

1. Ironclad 0.7.0 – formally verified Unix-like kernel in SPARK and Ada (codeberg.org)
   27 points by birdculture 17 days ago | 1 comments