← Back to context

Comment by nearbuy

8 hours ago

The Kevin Buzzard post linked at the top says they budgeted £1M over 5 years for a smaller proof.

0 comments

nearbuy

Reply

No comments yet

Contribute on Hacker News ↗