News for hackers. Stuff that matters.
Re:Problems of Traditional Math Notation (2004) by adamnemecek on Monday November 06, 2017 @11:41AM (#15636658)
It kinda is yes. I don’t understand why classical proofs are still a thing.

There are no comments on this comment yet.