Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Two-hundred-terabyte math proof is largest ever. Parent comment
Towards formal proof metrics: http://link.springer.com/chapter/10.1007/978-3-662-49665-7_1...
Proof engineering considered essential: http://link.springer.com/chapter/10.1007/978-3-319-06410-9_2
Engineering mathematics: http://dl.acm.org/citation.cfm?id=2429071
Challenges and experiences …: http://link.springer.com/chapter/10.1007/978-3-642-31374-5_3
There are no comments on this comment yet.
Towards formal proof metrics: http://link.springer.com/chapter/10.1007/978-3-662-49665-7_1...
Proof engineering considered essential: http://link.springer.com/chapter/10.1007/978-3-319-06410-9_2
Engineering mathematics: http://dl.acm.org/citation.cfm?id=2429071
Challenges and experiences …: http://link.springer.com/chapter/10.1007/978-3-642-31374-5_3