HN
Hacker News
Top
New
Best
Ask
Show
Jobs
What is Proved and What is Assumed | Hacker News Reader
What is Proved and What is Assumed
sel4.systems
17 points
·
zekers
·
·
1 comment
Open article
Save
View on HN
asymmetric
·
OT: first time I see a .systems domain, exciting!
Reply on news.ycombinator.com