Dragon's Egg: a formally verified, distributed object-capability OS

2 points | by iamthebesthere 5 hours ago

1 comments