Level History of Lean4Real
| Level | Date |
|---|---|
| 15 | 2018-06-02 10:27:04 |
| 14 | 2018-06-02 10:05:12 |
| 13 | 2018-06-02 09:53:54 |
| 12 | 2018-06-02 09:27:46 |
| 11 | 2018-06-02 09:20:49 |
| 10 | 2018-06-02 09:13:41 |
| 9 | 2018-06-02 08:46:23 |
| 8 | 2018-06-02 08:38:20 |
| 7 | 2018-06-02 08:23:40 |
| 6 | 2018-06-02 08:08:36 |
| 5 | 2018-06-02 08:04:38 |
| 4 | 2018-06-02 08:02:17 |
| 3 | 2018-06-02 07:59:21 |
| 2 | 2018-06-02 07:57:33 |