Skip to main content
8 events
when toggle format what by license comment
Jan 2, 2017 at 0:12 history tweeted twitter.com/StackCompSci/status/815712371108958209
Dec 30, 2016 at 22:19 history edited matanox CC BY-SA 3.0
added 5 characters in body
S Dec 29, 2016 at 22:19 history edited David Richerby CC BY-SA 3.0
Added LaTeX
S Dec 29, 2016 at 22:19 history suggested Schonfinkel CC BY-SA 3.0
Added LaTeX
Dec 29, 2016 at 21:20 review Suggested edits
S Dec 29, 2016 at 22:19
Dec 29, 2016 at 17:03 vote accept matanox
Dec 29, 2016 at 15:10 answer added Andrej Bauer timeline score: 5
Dec 29, 2016 at 14:43 history asked matanox CC BY-SA 3.0