Qr-Hint: Formally Verified and AI-Explained SQL Tutoring
Qr-Hint is presented, a system designed to support debugging for both students and educators that identifies the smallest syntactic edit to a wrong query to make it semantically equivalent to a correct one.