Lean proofs, reproduction programs and frozen evidence behind a family of research papers
dependent-types reproducible-research theorem-proving formal-verification incremental-computation mathematical-physics political-economy lean4 mathlib4 h0mework
-
Updated
Nov 12, 2026 - Lean