Viana, L.
(2020).
 Proving the consistency of Logic in Lean.
In <em>Anais do I Workshop Brasileiro de Lógica</em>, (pp. 1-8). Porto Alegre: SBC.
doi:10.5753/wbl.2020.11452