research-area Formal verification pipelines diego · jul 23, 2026 Lean, certificados PVS, traces de solver, reprodutibilidade e gates de revisão especializada.