What is Proved and What is Assumed (sel4.systems)

17 points by zekers 12y ago ↗ HN

1 comment

[ 4.5 ms ] story [ 9.9 ms ] thread

asymmetric 12y ago ↗

OT: first time I see a .systems domain, exciting!