Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Ironclad 0.7.0 – formally verified Unix-like kernel in SPARK and Ada | Heykuki News
Ironclad 0.7.0 – formally verified Unix-like kernel in SPARK and Ada
codeberg.org
27 points
birdculture
a year ago
1 comment
Loading...