AlphaProof Nexus results

Generated by a source-level scanner, plus a Lean run where it succeeded: see the Trust page. Trust is UNKNOWN wherever Lean did not run. Indented declarations and macro-generated declarations are not listed.

Lean files

71

Declarations

3334

Contain sorry

72

Axioms

0

Lean4 Domain Explanation Language (L4DEL): 721 annotated, 0 flagged (errors or placeholders), 2602 without an L4DEL annotation. Run lean4-explainer annotate --file <path> for templates. Lean run with Lean (version 4.27.0, x86_64-w64-windows-gnu, commit db93fe1608548721853390a10cd40580fe7d22ae, Release) (cache-only rendering).

3334 declarations, 72 contain sorry, 0 declared as axioms; 71 files