A Rule Based Theorem Prover: an Introduction to Proofs in Secondary Schools - Teles, Joana (2023)