Daily snapshots record the public catalog at the capture time. Earlier totals use recorded dates from the current public catalog; deleted records and past visibility changes are not reflected in those totals. Public theorem statements and definitions are counted separately. Each definition record counts once, regardless of how many Lean declarations its file contains. Definitions are excluded from theorem statement totals and percentages; deprecated public records remain counted. Counts may decrease after visibility changes, deletions or status corrections. Changes between consecutive reports are net changes, not exact upload or completion events.

Historical proof dates use recorded acceptance timestamps and verified reduction dependencies. Legacy acceptance dates can be approximate. Historical proved counts exclude theorems without a recoverable completion date. Mission and field tables use the latest daily snapshot.

Proved theorem totals use the platform status. Apache 2.0 statement coverage uses the contribution date or the statement author's recorded license acceptance. Missing Apache coverage and an empty denominator display as 0%.

Lines of Lean count the statement, definition and proof files in the public Apache 2.0 snapshot of Formalpedia, once per published refresh. Blank lines and comments are left out. Days without a published snapshot stay unfilled.

Completed missions have a proved or disproved main goal. Open missions have a main goal with Open status. Mission and field counts reflect membership at the latest observation. Contributors are distinct authors of statements and accepted submissions, including reused results. Mission details are shown only while both the mission and its goal remain public.

Registered accounts include existing unconfirmed accounts. Dates use UTC. The page reads saved daily reports; it never runs the statistics calculation. A failed refresh leaves the last successful report available with its original update time.