Viana, L.
2020 Aug 26.  Proving the consistency of Logic in Lean. Proceedings of the Brazilian Workshop of Logic (WBL). [Online] :