APA (7th ed.) Citation
(2026). Stokes' Theorem for Smooth Singular Cubes in Lean 4: True Pullback, Bridges to mathlib4, and Chain-Level d^2=0. ArXiv cs.LO Recent Papers.
Chicago Style (17th ed.) Citation
"Stokes' Theorem for Smooth Singular Cubes in Lean 4: True Pullback, Bridges to Mathlib4, and Chain-Level D^2=0." ArXiv Cs.LO Recent Papers 2026.
MLA (9th ed.) Citation
"Stokes' Theorem for Smooth Singular Cubes in Lean 4: True Pullback, Bridges to Mathlib4, and Chain-Level D^2=0." ArXiv Cs.LO Recent Papers, 2026.
Warning: These citations may not always be 100% accurate.