sorrydb-data-test/update_database_stats.json at main · SorryDB/sorrydb-data-test · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
{
  "https://github.com/mo271/FormalBook": {
    "counts": {
      "5f67ecf6b7dc2763b84bfc1d0111d4604410f49c": {
        "count": 59,
        "count_new_goal": 57,
        "undetermined_type_excluded": 7
      }
    },
    "new_leaf_commit": true,
    "start_processing_time": "2026-09-04T13:35:30.265528+00:00",
    "end_processing_time": "2026-09-04T14:06:09.826828+00:00",
    "lake_timeout": null,
    "lean_version": "v4.34.0-rc2"
  },
  "https://github.com/thefundamentaltheor3m/Sphere-Packing-Lean": {
    "counts": {
      "9b2ddfc66330f9da18cc8feb0dca2dc01bfa0a85": {
        "count": 57,
        "count_new_goal": 54,
        "undetermined_type_excluded": 0
      }
    },
    "new_leaf_commit": true,
    "start_processing_time": "2026-09-04T13:35:31.164087+00:00",
    "end_processing_time": "2026-09-04T14:06:10.160308+00:00",
    "lake_timeout": null,
    "lean_version": "v4.32.0"
  },
  "https://github.com/leanprover/lean-beam": {
    "counts": {
      "8276f4e0cf4184f83f7801347b2f50da537b2c0f": {
        "count": 100,
        "count_new_goal": 10,
        "undetermined_type_excluded": 0
      }
    },
    "new_leaf_commit": true,
    "start_processing_time": "2026-09-04T13:35:32.024877+00:00",
    "end_processing_time": "2026-09-04T14:06:10.387851+00:00",
    "lake_timeout": null,
    "lean_version": "v4.33.0"
  },
  "https://github.com/aimmerwahr/lean-math-exercises": {
    "counts": {
      "ef9d2506ecf03bb3338e59d33edded195d94a9be": {
        "count": 340,
        "count_new_goal": 340,
        "undetermined_type_excluded": 2
      }
    },
    "new_leaf_commit": true,
    "start_processing_time": "2026-09-04T13:35:33.007348+00:00",
    "end_processing_time": "2026-09-04T14:06:10.701107+00:00",
    "lake_timeout": null,
    "lean_version": "v4.33.0-rc1"
  },
  "https://github.com/teorth/IEANTN": {
    "counts": {
      "313261e42d4b0560c9fc9b3205856f3ba576c22e": {
        "count": 74,
        "count_new_goal": 71,
        "undetermined_type_excluded": 0
      }
    },
    "new_leaf_commit": true,
    "start_processing_time": "2026-09-04T13:35:33.855728+00:00",
    "end_processing_time": "2026-09-04T14:06:11.010412+00:00",
    "lake_timeout": null,
    "lean_version": "v4.34.0-rc2"
  }
}