Timeline for MO answer formalized in Lean
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 28 at 20:45 | review | Close votes | |||
| Sep 29 at 22:39 | |||||
| May 5 at 1:15 | answer | added | Bjørn Kjos-Hanssen | timeline score: 10 | |
| Apr 25 at 1:00 | comment | added | Sidharth Ghoshal | thank you for doing this! | |
| Apr 24 at 13:45 | comment | added | Igor Khavkine | Great! I would welcome the trend, if more people do this kind of thing. | |
| Apr 24 at 0:01 | comment | added | mathworker21 | Nice! ${}{}{}{}$ | |
| Apr 21 at 12:09 | history | became hot meta post | |||
| Apr 21 at 4:40 | history | asked | Bjørn Kjos-Hanssen | CC BY-SA 4.0 |