Viana, Luiz Carlos.
" Proving the consistency of Logic in Lean" <em>Anais do Workshop Brasileiro de Lógica (WBL)</em> [Online], (26 agosto 2020)