HN Reader

Ironclad 0.7.0 – formally verified Unix-like kernel in SPARK and Ada

26 birdculture 1 6/1/2025, 9:54:34 AM codeberg.org ↗

Comments (1)

numerosix · 2d ago
Great project!