Viana, L.
2020 ago 26.  Proving the consistency of Logic in Lean. Anais do Workshop Brasileiro de Lógica (WBL). [Online] :