TY  - RPRT
TI  - A Modular Lean 4 Framework for Confluence and Strong Normalization of Lambda Calculi with Products and Sums
AU  - Arthur Ramos
AU  - Anjolina Oliveira
AU  - Ruy de Queiroz
AU  - Tiago de Veras
PY  - 2025
UR  - https://arxiv.org/abs/2512.09280
ID  - 2512.09280
ER  -