Leme, Renato, Giorgio Venturi, and Bruno Lopes.
"Coq Formalization of a Tableau for the Classical-Intuitionistic Propositional Fragment of Ecumenical Logic." <em>Anais do III Workshop Brasileiro de Lógica,
Niterói, 2022</em>. SBC, 2022,  
pp.25-32.