Hacker News new | ask | show | jobs
by zja 1784 days ago
It’s a joke. https://en.m.wikipedia.org/wiki/Formal_verification