@misc{indiciaefb5e7d7d9039,
  title = {Stokes' Theorem for Smooth Singular Cubes in Lean 4: True Pullback, Bridges to mathlib4, and Chain-Level d\textasciicircum{}2=0},
  author = {David B. Hulak and Arthur F. Ramos and Ruy J. G. B. de Queiroz},
  year = {2026},
  url = {https://arxiv.org/abs/2605.01028},
  note = {Source identifier: 2605.01028}
}