Hacker News new | ask | show | jobs
by jzer0cool 54 days ago
Could someone share a bit into the problem and the key portion from proof? For someone just knowing basics on proofs.