@misc{indiciaebd095a7648cc,
  title = {A Modular Lean 4 Framework for Confluence and Strong Normalization of Lambda Calculi with Products and Sums},
  author = {Arthur Ramos and Anjolina Oliveira and Ruy de Queiroz and Tiago de Veras},
  year = {2025},
  url = {https://arxiv.org/abs/2512.09280},
  note = {Source identifier: 2512.09280}
}