Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Ironclad: A formally verified Posix-compatible kernel written in Ada
ironclad.nongnu.org
5 points
ajdude
2 years ago
1 comment
Loading...
Ironclad: A formally verified Posix-compatible kernel written in Ada | Heykuki News