News for hackers. Stuff that matters.

A comment on Titans of Mathematics Clash Over Epic Proof of ABC Conjecture. Parent comment

Re:Titans of Mathematics Clash Over Epic Proof of ABC Conjec... by Kutta on Friday September 21, 2018 @05:07AM (#18038260)
That's irrelevant, all mainstream proof assistants are compatible with classical logic.
[ Parent | on HN ]

There are no comments on this comment yet.