HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by roflc0ptic | Hacker News Reader
Parent
Full thread
roflc0ptic
·
Are we starting to understand that? In what ways?
View on HN
actionfromafar
·
In small ways, formal verification of software, with Coq and such.
peteradio
·
Great way to increase adoption, name it Coq.
Reply on news.ycombinator.com