Level History of why3
| Level | Date |
|---|---|
| 15 | 2018-03-18 16:55:50 |
| 14 | 2018-03-18 16:47:37 |
| 13 | 2018-03-18 16:44:23 |
| 12 | 2018-03-18 16:40:01 |
| 11 | 2018-03-18 16:39:24 |
| 10 | 2018-03-12 04:26:14 |
| 9 | 2018-03-12 04:26:11 |
| 8 | 2018-03-12 04:24:22 |
| 7 | 2018-03-12 04:23:14 |
| 6 | 2018-03-12 04:21:40 |
| 5 | 2018-03-12 04:20:14 |
| 4 | 2018-03-12 04:19:36 |
| 3 | 2018-03-12 04:16:13 |
| 2 | 2018-03-12 04:15:37 |