Skip to main content
11 events
when toggle format what by license comment
Jun 22 at 22:57 audit Close votes
Jun 22 at 22:57
Jun 20 at 7:15 audit Close votes
Jun 20 at 7:22
Jun 17 at 11:06 audit Reopen votes
Jun 17 at 11:07
Jun 16 at 9:00 audit Reopen votes
Jun 16 at 9:00
Jun 7 at 7:11 vote accept Karl
Jun 6 at 15:29 history became hot network question
Jun 6 at 11:40 answer added Derek Holt timeline score: 3
Jun 6 at 11:25 comment added Derek Holt The group is virtually abelian, and therefore automatic, but that does not imply that Knuth-Bendix will work.
Jun 6 at 8:13 history edited Karl CC BY-SA 4.0
add tag
Jun 6 at 7:45 history edited Karl CC BY-SA 4.0
add missing relation (skinnier rhombus)
Jun 6 at 7:17 history asked Karl CC BY-SA 4.0