Timeline for The groupoid of algebraic expressions and proofs
Current License: CC BY-SA 3.0
2 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Feb 14, 2015 at 1:27 | comment | added | Todd Trimble | Peter Hall: should be Philip Hall, I believe. | |
Feb 13, 2015 at 18:52 | history | answered | Paul Taylor | CC BY-SA 3.0 |