Picture for Joana Teles

Joana Teles

CMUC / Department of Mathematics, University of Coimbra

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

Add code
Mar 10, 2023
Viaarxiv icon