Damas Beites P, Rosas Pereira Peixoto da Costa MC, Frazão Rodrigues Branco ML. Proof schemes for linear algebra with logical value true. RELIME. 2020;23(1). doi:10.12802/relime.20.2312