News for hackers. Stuff that matters.
Re:Titans of Mathematics Clash Over Epic Proof of ABC Conjec... by noisem4ker on Thursday September 20, 2018 @05:26PM (#18035609)
https://github.com/bollu/dependence-analysis-coq/blob/master...

Put a space before the final ), else it becomes part of the URL. Thanks for the paper, by the way.

There are no comments on this comment yet.