evidence boundary
unknowntheoretical
An evidence atom is an inspectable support unit. It is not a finding by itself; it supports or challenges a finding through review.
frontiers / frontier
Evidence atom
back to sourcesevidence boundary
unknownAn evidence atom is an inspectable support unit. It is not a finding by itself; it supports or challenges a finding through review.
finding binding
boundMathlib4 (the Lean 4 mathematics library) contains over 100,000 theorems organized hierarchically by mathematical subdomain, serving as the canonical formalization substrate for mathematical proof development in Lean.
inspect finding →
source binding
source-boundvs_059d5747bc311df0
inspect source →
review context
unverified1 reviewable changes and 0 evaluation records target this atom or its bound objects.
Evidence statement
Mathlib4 (the Lean 4 mathematics library) contains over 100,000 theorems organized hierarchically by mathematical subdomain, serving as the canonical formalization substrate for mathematical proof development in Lean.
extraction method
manual_curation
support relation
unknown
condition refs
vcnd_0552f67e62428404
Caveats
events
vev_c711bef469714afdfinding.assertedManual finding added to frontier state
reviewer:will-blair · 2026-05-29
reviewable changes
vpr_42e58c23b2915551finding.addManual finding added to frontier state
applied · reviewer:will-blair · 2026-05-29
evaluations
No evaluation rows are attached.