Hacker News new | ask | show | jobs
by mountainriver 1838 days ago
It seems like theorem provers are where all the action should be, but oddly isn’t