← All Domains

proof_complexity

1 papers · 1 Lean-verified

Empirical Proof Complexity of a Lean 4 Formalization of Birch-Swinnerton-Dyer
We record empirical complexity measurements for the current Lean 4 formalization of the Birch-Swinnerton-Dyer conjecture and its surrounding theory.
Verified 1,688 words