FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
SLIDES

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

Joana Teles, Vanda Santos and Pedro Quaresma

Rule Based Geometry Automated Theorem Provers for Geometry

Nuno Baeta, Pedro Teixeira and Pedro Quaresma
Total: 2 presentations.