Skip to main content
5 events
when toggle format what by license comment
Mar 8, 2015 at 10:07 vote accept Andrej Bauer
Jul 6, 2013 at 21:48 answer added Peter May timeline score: 7
Jul 6, 2013 at 8:36 answer added Karol Szumiło timeline score: 2
Jul 6, 2013 at 8:00 comment added Omar Antolín-Camarena I'm too sleepy to be sure, but this paper might help.
Jul 6, 2013 at 7:32 history asked Andrej Bauer CC BY-SA 3.0