Viana, Luiz Carlos.
" Proving the consistency of Logic in Lean." <em>Anais do I Workshop Brasileiro de Lógica,
Evento Online, 2020</em>. SBC, 2020,  
pp.1-8.