Hacker News new | ask | show | jobs
by GoblinSlayer 494 days ago
I suspect seL4 could be proven correct only because it uses simple lifetime patterns.