EasyChair Smart Slide
A Rule Based Theorem Prover: an Introduction to Proofs in Secondary Education
A Rule Based Theorem Prover: an Introduction to Proofs in Secondary Education