Hacker News new | ask | show | jobs
by cygaril 692 days ago
Formalizations for the competition were done by hand.