A Rule Based Theorem Prover: an Introduction to Proofs in Secondary Schools. - Joana Teles; Vanda Santos; Pedro Quaresma (ThEdu@FLoC, 2022)