Hacker News new | ask | show | jobs
by resters 427 days ago
This is useful to anyone who wants to reason through the proofs constructively and tinker with the approaches. Thank you!
1 comments

Thank you!