Timeline for Need help with induction proof in Lean for $0+d=d$
Current License: CC BY-SA 4.0
4 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Jan 22 at 14:21 | vote | accept | CrSb0001 | ||
Jan 22 at 9:56 | comment | added | James Wood | Remember to mark your answer as accepted if it solves all your problems. | |
S Jan 19 at 17:21 | review | First answers | |||
Jan 20 at 1:07 | |||||
S Jan 19 at 17:21 | history | answered | CrSb0001 | CC BY-SA 4.0 |