Viana, L.
(2020).
 Proving the consistency of Logic in Lean.
In <em>Proceedings of the 1st Brazilian Workshop of Logic</em>, (pp. 1-8). Porto Alegre: SBC.
doi:10.5753/wbl.2020.11452