backend ok
Story history
Score and comment observations over time
Lean Game Server: A repo of learning games for Lean
HN #49,941,055 | submitted 2026-10-03 03:09 UTC | adam.math.hhu.de
131 observationsby crescit_eundo
2 points
Latest score
1 comments
Latest comments
+1
Score change
Rank history is not tracked yet in the current dataset, so this first slice focuses on score and comment movement.
Score
Range 1 to 2
2026-10-03 03:13 UTC2026-10-03 13:24 UTC
Comments
Range 1 to 1
2026-10-03 03:13 UTC2026-10-03 13:24 UTC
Observation history
Observation times are irregular and reflect when the tracker refreshed this story.
First 2026-10-03 03:13 UTCLatest 2026-10-03 13:24 UTC
| Observed at | Score | Comments | Rank |
|---|---|---|---|
| 2026-10-03 13:24 UTC | 2 | 1 | not tracked |
| 2026-10-03 13:20 UTC | 2 | 1 | not tracked |
| 2026-10-03 13:15 UTC | 2 | 1 | not tracked |
| 2026-10-03 13:10 UTC | 2 | 1 | not tracked |
| 2026-10-03 13:06 UTC | 2 | 1 | not tracked |
| 2026-10-03 13:01 UTC | 2 | 1 | not tracked |
| 2026-10-03 12:57 UTC | 2 | 1 | not tracked |
| 2026-10-03 12:52 UTC | 2 | 1 | not tracked |
| 2026-10-03 12:47 UTC | 2 | 1 | not tracked |
| 2026-10-03 12:43 UTC | 2 | 1 | not tracked |
| 2026-10-03 12:36 UTC | 2 | 1 | not tracked |
| 2026-10-03 12:31 UTC | 2 | 1 | not tracked |
| 2026-10-03 12:26 UTC | 2 | 1 | not tracked |
| 2026-10-03 12:22 UTC | 2 | 1 | not tracked |
| 2026-10-03 12:17 UTC | 2 | 1 | not tracked |
| 2026-10-03 12:12 UTC | 2 | 1 | not tracked |
| 2026-10-03 12:08 UTC | 2 | 1 | not tracked |
| 2026-10-03 12:03 UTC | 2 | 1 | not tracked |
| 2026-10-03 11:59 UTC | 2 | 1 | not tracked |
| 2026-10-03 11:54 UTC | 2 | 1 | not tracked |
| 2026-10-03 11:49 UTC | 2 | 1 | not tracked |
| 2026-10-03 11:45 UTC | 2 | 1 | not tracked |
| 2026-10-03 11:40 UTC | 2 | 1 | not tracked |
| 2026-10-03 11:33 UTC | 2 | 1 | not tracked |
| 2026-10-03 11:28 UTC | 2 | 1 | not tracked |
| 2026-10-03 11:23 UTC | 2 | 1 | not tracked |
| 2026-10-03 11:19 UTC | 2 | 1 | not tracked |
| 2026-10-03 11:14 UTC | 2 | 1 | not tracked |
| 2026-10-03 11:10 UTC | 2 | 1 | not tracked |
| 2026-10-03 11:05 UTC | 2 | 1 | not tracked |
| 2026-10-03 11:00 UTC | 2 | 1 | not tracked |
| 2026-10-03 10:56 UTC | 2 | 1 | not tracked |
| 2026-10-03 10:51 UTC | 2 | 1 | not tracked |
| 2026-10-03 10:47 UTC | 2 | 1 | not tracked |
| 2026-10-03 10:42 UTC | 2 | 1 | not tracked |
| 2026-10-03 10:37 UTC | 2 | 1 | not tracked |
| 2026-10-03 10:31 UTC | 2 | 1 | not tracked |
| 2026-10-03 10:27 UTC | 2 | 1 | not tracked |
| 2026-10-03 10:22 UTC | 2 | 1 | not tracked |
| 2026-10-03 10:17 UTC | 2 | 1 | not tracked |
| 2026-10-03 10:13 UTC | 2 | 1 | not tracked |
| 2026-10-03 10:08 UTC | 2 | 1 | not tracked |
| 2026-10-03 10:04 UTC | 2 | 1 | not tracked |
| 2026-10-03 09:59 UTC | 2 | 1 | not tracked |
| 2026-10-03 09:54 UTC | 2 | 1 | not tracked |
| 2026-10-03 09:50 UTC | 2 | 1 | not tracked |
| 2026-10-03 09:45 UTC | 2 | 1 | not tracked |
| 2026-10-03 09:41 UTC | 2 | 1 | not tracked |
| 2026-10-03 09:36 UTC | 2 | 1 | not tracked |
| 2026-10-03 09:31 UTC | 2 | 1 | not tracked |
| 2026-10-03 09:27 UTC | 2 | 1 | not tracked |
| 2026-10-03 09:22 UTC | 2 | 1 | not tracked |
| 2026-10-03 09:17 UTC | 2 | 1 | not tracked |
| 2026-10-03 09:13 UTC | 2 | 1 | not tracked |
| 2026-10-03 09:08 UTC | 2 | 1 | not tracked |
| 2026-10-03 09:04 UTC | 2 | 1 | not tracked |
| 2026-10-03 08:59 UTC | 2 | 1 | not tracked |
| 2026-10-03 08:54 UTC | 2 | 1 | not tracked |
| 2026-10-03 08:50 UTC | 2 | 1 | not tracked |
| 2026-10-03 08:45 UTC | 2 | 1 | not tracked |
| 2026-10-03 08:41 UTC | 2 | 1 | not tracked |
| 2026-10-03 08:36 UTC | 2 | 1 | not tracked |
| 2026-10-03 08:31 UTC | 2 | 1 | not tracked |
| 2026-10-03 08:25 UTC | 2 | 1 | not tracked |
| 2026-10-03 08:20 UTC | 2 | 1 | not tracked |
| 2026-10-03 08:16 UTC | 2 | 1 | not tracked |
| 2026-10-03 08:11 UTC | 2 | 1 | not tracked |
| 2026-10-03 08:07 UTC | 2 | 1 | not tracked |
| 2026-10-03 08:02 UTC | 2 | 1 | not tracked |
| 2026-10-03 07:57 UTC | 2 | 1 | not tracked |
| 2026-10-03 07:53 UTC | 2 | 1 | not tracked |
| 2026-10-03 07:48 UTC | 2 | 1 | not tracked |
| 2026-10-03 07:44 UTC | 2 | 1 | not tracked |
| 2026-10-03 07:39 UTC | 2 | 1 | not tracked |
| 2026-10-03 07:35 UTC | 2 | 1 | not tracked |
| 2026-10-03 07:30 UTC | 2 | 1 | not tracked |
| 2026-10-03 07:25 UTC | 2 | 1 | not tracked |
| 2026-10-03 07:20 UTC | 2 | 1 | not tracked |
| 2026-10-03 07:16 UTC | 2 | 1 | not tracked |
| 2026-10-03 07:11 UTC | 2 | 1 | not tracked |
| 2026-10-03 07:07 UTC | 2 | 1 | not tracked |
| 2026-10-03 07:02 UTC | 2 | 1 | not tracked |
| 2026-10-03 06:57 UTC | 2 | 1 | not tracked |
| 2026-10-03 06:53 UTC | 2 | 1 | not tracked |
| 2026-10-03 06:48 UTC | 2 | 1 | not tracked |
| 2026-10-03 06:44 UTC | 2 | 1 | not tracked |
| 2026-10-03 06:39 UTC | 2 | 1 | not tracked |
| 2026-10-03 06:34 UTC | 2 | 1 | not tracked |
| 2026-10-03 06:30 UTC | 2 | 1 | not tracked |
| 2026-10-03 06:25 UTC | 2 | 1 | not tracked |
| 2026-10-03 06:18 UTC | 2 | 1 | not tracked |
| 2026-10-03 06:14 UTC | 2 | 1 | not tracked |
| 2026-10-03 06:09 UTC | 2 | 1 | not tracked |
| 2026-10-03 06:04 UTC | 2 | 1 | not tracked |
| 2026-10-03 06:00 UTC | 2 | 1 | not tracked |
| 2026-10-03 05:55 UTC | 2 | 1 | not tracked |
| 2026-10-03 05:51 UTC | 2 | 1 | not tracked |
| 2026-10-03 05:46 UTC | 2 | 1 | not tracked |
| 2026-10-03 05:42 UTC | 2 | 1 | not tracked |
| 2026-10-03 05:37 UTC | 2 | 1 | not tracked |
| 2026-10-03 05:32 UTC | 2 | 1 | not tracked |
| 2026-10-03 05:28 UTC | 2 | 1 | not tracked |
| 2026-10-03 05:23 UTC | 2 | 1 | not tracked |
| 2026-10-03 05:18 UTC | 2 | 1 | not tracked |
| 2026-10-03 05:14 UTC | 2 | 1 | not tracked |
| 2026-10-03 05:09 UTC | 2 | 1 | not tracked |
| 2026-10-03 05:05 UTC | 2 | 1 | not tracked |
| 2026-10-03 05:00 UTC | 2 | 1 | not tracked |
| 2026-10-03 04:56 UTC | 2 | 1 | not tracked |
| 2026-10-03 04:51 UTC | 2 | 1 | not tracked |
| 2026-10-03 04:46 UTC | 2 | 1 | not tracked |
| 2026-10-03 04:42 UTC | 2 | 1 | not tracked |
| 2026-10-03 04:37 UTC | 2 | 1 | not tracked |
| 2026-10-03 04:33 UTC | 2 | 1 | not tracked |
| 2026-10-03 04:28 UTC | 2 | 1 | not tracked |
| 2026-10-03 04:23 UTC | 2 | 1 | not tracked |
| 2026-10-03 04:19 UTC | 2 | 1 | not tracked |
| 2026-10-03 04:12 UTC | 2 | 1 | not tracked |
| 2026-10-03 04:08 UTC | 2 | 1 | not tracked |
| 2026-10-03 04:03 UTC | 2 | 1 | not tracked |
| 2026-10-03 03:58 UTC | 2 | 1 | not tracked |
| 2026-10-03 03:54 UTC | 2 | 1 | not tracked |
| 2026-10-03 03:49 UTC | 2 | 1 | not tracked |
| 2026-10-03 03:45 UTC | 2 | 1 | not tracked |
| 2026-10-03 03:40 UTC | 2 | 1 | not tracked |
| 2026-10-03 03:36 UTC | 2 | 1 | not tracked |
| 2026-10-03 03:31 UTC | 2 | 1 | not tracked |
| 2026-10-03 03:26 UTC | 2 | 1 | not tracked |
| 2026-10-03 03:22 UTC | 2 | 1 | not tracked |
| 2026-10-03 03:17 UTC | 2 | 1 | not tracked |
| 2026-10-03 03:13 UTC | 1 | 1 | not tracked |