Hacker News new | ask | show | jobs
by evolveyourmind 2260 days ago
The decreasing number worked, ty. Writing proofs with this will be impossible tho :D