backend ok
Story history
Score and comment observations over time
Show HN: Spivak's Calculus formalized in Lean 4 – every theorem, every problem
HN #49,858,409 | submitted 2026-09-26 17:00 UTC | github.com
75 observationsby jsLavaGoat
7 points
Latest score
0 comments
Latest comments
+6
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 7
2026-09-26 17:05 UTC2026-09-26 23:01 UTC
Comments
Range 0 to 0
2026-09-26 17:05 UTC2026-09-26 23:01 UTC
Observation history
Observation times are irregular and reflect when the tracker refreshed this story.
First 2026-09-26 17:05 UTCLatest 2026-09-26 23:01 UTC
| Observed at | Score | Comments | Rank |
|---|---|---|---|
| 2026-09-26 23:01 UTC | 7 | 0 | not tracked |
| 2026-09-26 22:56 UTC | 7 | 0 | not tracked |
| 2026-09-26 22:51 UTC | 7 | 0 | not tracked |
| 2026-09-26 22:47 UTC | 7 | 0 | not tracked |
| 2026-09-26 22:42 UTC | 6 | 0 | not tracked |
| 2026-09-26 22:37 UTC | 6 | 0 | not tracked |
| 2026-09-26 22:33 UTC | 6 | 0 | not tracked |
| 2026-09-26 22:28 UTC | 6 | 0 | not tracked |
| 2026-09-26 22:23 UTC | 6 | 0 | not tracked |
| 2026-09-26 22:19 UTC | 6 | 0 | not tracked |
| 2026-09-26 22:14 UTC | 6 | 0 | not tracked |
| 2026-09-26 22:07 UTC | 6 | 0 | not tracked |
| 2026-09-26 22:02 UTC | 6 | 0 | not tracked |
| 2026-09-26 21:58 UTC | 4 | 0 | not tracked |
| 2026-09-26 21:53 UTC | 4 | 0 | not tracked |
| 2026-09-26 21:49 UTC | 4 | 0 | not tracked |
| 2026-09-26 21:44 UTC | 4 | 0 | not tracked |
| 2026-09-26 21:39 UTC | 4 | 0 | not tracked |
| 2026-09-26 21:35 UTC | 4 | 0 | not tracked |
| 2026-09-26 21:30 UTC | 4 | 0 | not tracked |
| 2026-09-26 21:26 UTC | 4 | 0 | not tracked |
| 2026-09-26 21:21 UTC | 3 | 0 | not tracked |
| 2026-09-26 21:16 UTC | 3 | 0 | not tracked |
| 2026-09-26 21:11 UTC | 3 | 0 | not tracked |
| 2026-09-26 21:04 UTC | 2 | 0 | not tracked |
| 2026-09-26 21:00 UTC | 2 | 0 | not tracked |
| 2026-09-26 20:55 UTC | 2 | 0 | not tracked |
| 2026-09-26 20:50 UTC | 2 | 0 | not tracked |
| 2026-09-26 20:46 UTC | 2 | 0 | not tracked |
| 2026-09-26 20:41 UTC | 2 | 0 | not tracked |
| 2026-09-26 20:37 UTC | 2 | 0 | not tracked |
| 2026-09-26 20:32 UTC | 2 | 0 | not tracked |
| 2026-09-26 20:27 UTC | 2 | 0 | not tracked |
| 2026-09-26 20:23 UTC | 2 | 0 | not tracked |
| 2026-09-26 20:18 UTC | 2 | 0 | not tracked |
| 2026-09-26 20:13 UTC | 2 | 0 | not tracked |
| 2026-09-26 20:09 UTC | 2 | 0 | not tracked |
| 2026-09-26 20:02 UTC | 2 | 0 | not tracked |
| 2026-09-26 19:57 UTC | 2 | 0 | not tracked |
| 2026-09-26 19:53 UTC | 2 | 0 | not tracked |
| 2026-09-26 19:48 UTC | 2 | 0 | not tracked |
| 2026-09-26 19:43 UTC | 2 | 0 | not tracked |
| 2026-09-26 19:39 UTC | 2 | 0 | not tracked |
| 2026-09-26 19:34 UTC | 2 | 0 | not tracked |
| 2026-09-26 19:29 UTC | 2 | 0 | not tracked |
| 2026-09-26 19:25 UTC | 2 | 0 | not tracked |
| 2026-09-26 19:20 UTC | 2 | 0 | not tracked |
| 2026-09-26 19:15 UTC | 2 | 0 | not tracked |
| 2026-09-26 19:11 UTC | 2 | 0 | not tracked |
| 2026-09-26 19:06 UTC | 2 | 0 | not tracked |
| 2026-09-26 18:59 UTC | 2 | 0 | not tracked |
| 2026-09-26 18:54 UTC | 2 | 0 | not tracked |
| 2026-09-26 18:50 UTC | 2 | 0 | not tracked |
| 2026-09-26 18:45 UTC | 2 | 0 | not tracked |
| 2026-09-26 18:40 UTC | 2 | 0 | not tracked |
| 2026-09-26 18:36 UTC | 2 | 0 | not tracked |
| 2026-09-26 18:31 UTC | 2 | 0 | not tracked |
| 2026-09-26 18:26 UTC | 2 | 0 | not tracked |
| 2026-09-26 18:22 UTC | 2 | 0 | not tracked |
| 2026-09-26 18:17 UTC | 2 | 0 | not tracked |
| 2026-09-26 18:13 UTC | 2 | 0 | not tracked |
| 2026-09-26 18:08 UTC | 2 | 0 | not tracked |
| 2026-09-26 18:03 UTC | 2 | 0 | not tracked |
| 2026-09-26 17:56 UTC | 2 | 0 | not tracked |
| 2026-09-26 17:52 UTC | 2 | 0 | not tracked |
| 2026-09-26 17:47 UTC | 2 | 0 | not tracked |
| 2026-09-26 17:42 UTC | 2 | 0 | not tracked |
| 2026-09-26 17:38 UTC | 1 | 0 | not tracked |
| 2026-09-26 17:33 UTC | 1 | 0 | not tracked |
| 2026-09-26 17:28 UTC | 1 | 0 | not tracked |
| 2026-09-26 17:24 UTC | 1 | 0 | not tracked |
| 2026-09-26 17:19 UTC | 1 | 0 | not tracked |
| 2026-09-26 17:14 UTC | 1 | 0 | not tracked |
| 2026-09-26 17:10 UTC | 1 | 0 | not tracked |
| 2026-09-26 17:05 UTC | 1 | 0 | not tracked |