Google DeepMind; Formal Conjectures authors

observation:formal-conjectures:c1df9bcd329aa009

git: 59f30aa314ba225fcd9268723ce8291616df1ab0

Aug 19, 2026, 6:43 PM

retained exact bytes · immutable artifact retention

3,551 exact source-native objects

3,551 rows · complete coverage

4 exact links to local Repository records

Every theorem record in the exact official published Formal Conjectures dataset.

Mathlib support code, site assets, tests, and build infrastructure are not conjecture records.

Mutable site statistics and contributor aggregates remain outside source-native theorem rows.

A published or kernel-elaborated formal statement is not represented as statement fidelity or scientific acceptance.

Normalized rows bind each exact Lean source blob but do not duplicate the repository bytes.

The official published dataset is a GitHub Pages build artifact tracked at no ref, so it cannot be re-fetched at a revision. The adapter binds its byte root, checks out the commit the Pages deployment API names as the one whose build is served, and proves that every referenced source path exists there.