backend ok
Story history
Score and comment observations over time
Back to feed

ProveIT – a short game to help you learn how formal proofs work in Logic

HN #49,494,689 | submitted 2026-08-30 00:57 UTC | voxelrifts.itch.io

85 observationsby vismit2000
1 points
Latest score
0 comments
Latest comments
0
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 1
2026-08-30 01:02 UTC2026-08-30 07:47 UTC

Comments

Range 0 to 0
2026-08-30 01:02 UTC2026-08-30 07:47 UTC

Observation history

Observation times are irregular and reflect when the tracker refreshed this story.

First 2026-08-30 01:02 UTCLatest 2026-08-30 07:47 UTC
Observed atScoreCommentsRank
2026-08-30 07:47 UTC10not tracked
2026-08-30 07:42 UTC10not tracked
2026-08-30 07:37 UTC10not tracked
2026-08-30 07:30 UTC10not tracked
2026-08-30 07:26 UTC10not tracked
2026-08-30 07:21 UTC10not tracked
2026-08-30 07:16 UTC10not tracked
2026-08-30 07:12 UTC10not tracked
2026-08-30 07:07 UTC10not tracked
2026-08-30 07:02 UTC10not tracked
2026-08-30 06:58 UTC10not tracked
2026-08-30 06:53 UTC10not tracked
2026-08-30 06:48 UTC10not tracked
2026-08-30 06:44 UTC10not tracked
2026-08-30 06:39 UTC10not tracked
2026-08-30 06:35 UTC10not tracked
2026-08-30 06:28 UTC10not tracked
2026-08-30 06:23 UTC10not tracked
2026-08-30 06:18 UTC10not tracked
2026-08-30 06:14 UTC10not tracked
2026-08-30 06:09 UTC10not tracked
2026-08-30 06:05 UTC10not tracked
2026-08-30 06:00 UTC10not tracked
2026-08-30 05:56 UTC10not tracked
2026-08-30 05:51 UTC10not tracked
2026-08-30 05:46 UTC10not tracked
2026-08-30 05:42 UTC10not tracked
2026-08-30 05:37 UTC10not tracked
2026-08-30 05:32 UTC10not tracked
2026-08-30 05:24 UTC10not tracked
2026-08-30 05:20 UTC10not tracked
2026-08-30 05:15 UTC10not tracked
2026-08-30 05:10 UTC10not tracked
2026-08-30 05:06 UTC10not tracked
2026-08-30 05:01 UTC10not tracked
2026-08-30 04:56 UTC10not tracked
2026-08-30 04:51 UTC10not tracked
2026-08-30 04:47 UTC10not tracked
2026-08-30 04:42 UTC10not tracked
2026-08-30 04:38 UTC10not tracked
2026-08-30 04:33 UTC10not tracked
2026-08-30 04:28 UTC10not tracked
2026-08-30 04:21 UTC10not tracked
2026-08-30 04:16 UTC10not tracked
2026-08-30 04:12 UTC10not tracked
2026-08-30 04:07 UTC10not tracked
2026-08-30 04:02 UTC10not tracked
2026-08-30 03:58 UTC10not tracked
2026-08-30 03:53 UTC10not tracked
2026-08-30 03:49 UTC10not tracked
2026-08-30 03:44 UTC10not tracked
2026-08-30 03:39 UTC10not tracked
2026-08-30 03:35 UTC10not tracked
2026-08-30 03:30 UTC10not tracked
2026-08-30 03:25 UTC10not tracked
2026-08-30 03:18 UTC10not tracked
2026-08-30 03:13 UTC10not tracked
2026-08-30 03:09 UTC10not tracked
2026-08-30 03:04 UTC10not tracked
2026-08-30 03:00 UTC10not tracked
2026-08-30 02:55 UTC10not tracked
2026-08-30 02:51 UTC10not tracked
2026-08-30 02:46 UTC10not tracked
2026-08-30 02:41 UTC10not tracked
2026-08-30 02:37 UTC10not tracked
2026-08-30 02:32 UTC10not tracked
2026-08-30 02:27 UTC10not tracked
2026-08-30 02:23 UTC10not tracked
2026-08-30 02:16 UTC10not tracked
2026-08-30 02:12 UTC10not tracked
2026-08-30 02:07 UTC10not tracked
2026-08-30 02:02 UTC10not tracked
2026-08-30 01:58 UTC10not tracked
2026-08-30 01:53 UTC10not tracked
2026-08-30 01:49 UTC10not tracked
2026-08-30 01:44 UTC10not tracked
2026-08-30 01:39 UTC10not tracked
2026-08-30 01:35 UTC10not tracked
2026-08-30 01:30 UTC10not tracked
2026-08-30 01:26 UTC10not tracked
2026-08-30 01:21 UTC10not tracked
2026-08-30 01:16 UTC10not tracked
2026-08-30 01:12 UTC10not tracked
2026-08-30 01:07 UTC10not tracked
2026-08-30 01:02 UTC10not tracked