LEME, Renato R.; VENTURI, Giorgio; LOPES, Bruno. Coq Formalization of a Tableau for the Classical-Intuitionistic Propositional Fragment of Ecumenical Logic. In: WORKSHOP BRASILEIRO DE LÓGICA (WBL), 3. , 2022, Niterói. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2022 . p. 25-32. ISSN 2763-8731. DOI: https://doi.org/10.5753/wbl.2022.223071.