Live data from Hacker News

What is Proved and What is Assumed

Post reply on HN

Print view View original

1–2 of 2 posts

What is Proved and What is Assumed

#1

Post by zekers » Tue, Jul 29, 2014, 12:15 AM UTC

What is Proved and What is Assumed
sel4.systems

Re: What is Proved and What is Assumed

#2

Post by asymmetric » Tue, Jul 29, 2014, 9:58 AM UTC

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

Post reply on HN