News for hackers. Stuff that matters.
Re:DeepMath Conference 2020 – Conference on the Mathematical... by falcor84 on Saturday November 07, 2020 @01:37PM (#25017267)
Is there a particular theorem that you're invoking here?

There are no comments on this comment yet.