Damas Beites, P., Rosas Pereira Peixoto da Costa, M.C. and Frazão Rodrigues Branco, M.L. (2020) “Proof schemes for linear algebra with logical value true”, Revista Latinoamericana de Investigación en Matemática Educativa, 23(1). doi:10.12802/relime.20.2312.