Hacker News new | ask | show | jobs
by chiefjosh 731 days ago
I think he literally just demonstrated the problem you were trying to illustrate about software provers