Phase Transition of Library Reuse in Formal Theorem Proving: A Falsifiable Framework and Its Empirical Boundary. By Pan Che (Independent Researcher, Xinjiang, China). Reproducible closed, zero-token-at-inference, Lean-hard-verified experiments (Lean-Workbook + synthetic domain, hypotheses H1-H6).
theorem-proving lean percolation phase-transition mathlib library-reuse independent-researcher formal-math
-
Updated
Sep 5, 2026 - Python