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

17 points by zekers 11y ago ↗ HN

1 comment

[ 2.5 ms ] story [ 14.9 ms ] thread

asymmetric 11y ago ↗

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