Hacker News new | ask | show | jobs
by mannykannot 3257 days ago
Figuring out how to use the tool is harder than proving the theorems.