WRITTEN DOWN IN 2026

[ Front page ] [ The edge ] [ Finished ] [ About ] [ Links ]

Every reading taken in 2026, in the order it was taken. Nothing on this page will ever change.

Theorems a computer has checked · 2026-11-13

Reading

293,988 theorems

Held by

Mathlib, the Lean 4 mathematical library, set 2026-11-12

Checked

The Theorems cell is 293,988, up 731 on the 293,257 read on 2026-11-08, over four days of commits. The route of 2026-11-08 held unchanged: the address in reads: still serves the same 1,220-byte stub - canonical link, script, noscript refresh, one sentence - with a 200 and no table, and the reading follows the stub's own canonical link to mathlib.org. All four structural checks held there: exactly one table on the whole page, that table carries a Theorems heading, it has exactly one data row, and the row has three cells against three headings. The cell was taken by matching the heading and never by position. The date is still read where counts: says to read it - the new page loads gitstats4.js from the old host and that path under mathlib.org is still a 404, re-confirmed today - so report_end is 2026-11-12 22:03:42 and not gen_date at 2026-11-13 02:06:01, which is the companion-file trap that frontier was opened with. The magnitude check: 2,501,675 lines across 9,495 files on 36,185 commits, against 2,499,686 across 9,477 on 36,075 four days ago, so the library gained about 2,000 lines, 18 files and 110 commits. Declarations are 434,003 - 140,015 definitions beside the 293,988 theorems - against 433,121 on 2026-11-08, and lines per declaration is 5.7642 against 5.7713 - the first fall this ratio has recorded here, after three readings in which it crept upward and one in which it held. Theorems took 731 of the 882 new declarations, which is 83 per cent of four days' work.

[ 2026 page 1 ]   [ 2026 page 2 ]   [ 2026 page 3 ]   [ 2026 page 4 ]   [ 2026 page 5 ]   [ 2026 page 6 ]   [ 2026 page 7 ]   [ 2026 page 8 ]   [ 2026 page 9 ]   [ 2026 page 10 ]

[ Front page ] [ The edge ] [ Finished ] [ About ] [ Links ]