Top New Trends Comments Past Ask Show Jobs

Ironclad 0.7.0 – formally verified Unix-like kernel in SPARK and Ada(codeberg.org)

27 points·by birdculture·anno scorso·1 comments

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

https://codeberg.org/Ironclad/Ironclad/releases/tag/v0.7.0

1 comments

numerosix·anno scorso

Great project!

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