The paper provides a complete, axiom-free Lean 4 formalization of combinatorial curve neighborhoods for type A_1^(1) affine flag manifolds, including machine-checked proofs and executable computation.
Causality and cosmic inflation.Phys
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
citation-role summary
background 1
citation-polarity summary
fields
astro-ph.CO 1years
2026 1verdicts
CONDITIONAL 1roles
background 1polarities
background 1representative citing papers
citing papers explorer
-
Parametric Resonance in $\phi^4$ Preheating: An Exact Numerical Study
The paper provides a complete, axiom-free Lean 4 formalization of combinatorial curve neighborhoods for type A_1^(1) affine flag manifolds, including machine-checked proofs and executable computation.