Skip to main content
8 events
when toggle format what by license comment
Mar 24, 2015 at 14:06 comment added Peter LeFanu Lumsdaine @AndrejBauer: remember that MathOverflow had a slightly wider remit in 2011; I suspect that if this were asked today, it would get migrated to math.stackexchange.
Mar 24, 2015 at 13:19 comment added Andrej Bauer It is sad that this is a research-level question.
Mar 24, 2015 at 9:48 answer added Stefan Kohl timeline score: 12
May 22, 2011 at 8:12 vote accept day
Apr 24, 2011 at 21:15 answer added Sergei Tropanets timeline score: 4
Mar 2, 2011 at 12:51 answer added Tom Ellis timeline score: 5
Feb 28, 2011 at 22:37 answer added Andreas Blass timeline score: 26
Feb 28, 2011 at 22:31 history asked day CC BY-SA 2.5