Skip to main content
5 events
when toggle format what by license comment
May 7, 2016 at 16:28 history made wiki Post Made Community Wiki by S. Carnahan
Dec 16, 2014 at 13:51 comment added Benoît Kloeckner We should indeed recognize the importance of proof checking, using any tool at our disposal, but if we want to progress in our understanding of mathematics we also need to continue to have human-read (not only human-readable) proofs.
Jun 13, 2013 at 22:31 comment added Michael Thaddeus You are going to wait a long time!
May 3, 2013 at 14:52 comment added Lennart Meier How about the time of the authors?
May 3, 2013 at 6:05 history answered Taras Banakh CC BY-SA 3.0