Ironclad 0.7.0 – formally verified Unix-like kernel in SPARK and Adahttps://codeberg.org/Ironclad/Ironclad/releases/tag/v0.7.0 by birdculture • 1 year ago 27 1 1 year agoCOcodeberg.org