Hacker News new | ask | show | jobs
by varjag 18 days ago
You could try solving that in Lean perhaps