Smart News

Hackernews posts about Ironclad 0.7.0

RSS feed for Ironclad 0.7.0
  1. 01
    Ironclad 0.7.0 – formally verified Unix-like kernel in SPARK and Adacodeberg.org
    ▲ 27birdculture491d💬 1

Keyboard shortcuts

j / k
next / previous story
o or Enter
open the story
c
open the comments
s
save for later
h
history & saved stories
?
show this help