Timeline for Proof by induction over rules for mutually recursive relations
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 13, 2015 at 19:44 | history | tweeted | twitter.com/#!/StackCompSci/status/620680236745646080 | ||
| Jul 13, 2015 at 11:03 | answer | added | Raphael | timeline score: 3 | |
| Jul 13, 2015 at 5:57 | history | asked | choeger | CC BY-SA 3.0 |