Svelte Hacker News logo
  • top
  • new
  • show
  • ask
  • jobs
  • about

Program verification is not all-or-nothing

lawrencecpaulson.github.io

1 points by tempodox 7 hours ago