Hacker News new | ask | show | jobs
by lupire 550 days ago
Why isn't your inductive proof an unnecessary detour?