News for hackers. Stuff that matters.

A comment on Two-hundred-terabyte math proof is largest ever.

Re:Two-hundred-terabyte math proof is largest ever by infruset on Friday May 27, 2016 @04:44AM (#11784705)
A relevant article on large proofs: http://gallium.inria.fr/blog/large-proofs/
[ Parent | on HN ]

There are no comments on this comment yet.