Αποστολή με SMS: The Coq Proof Assistant. ΜΕΡΟΣ Β': Εφαρμογές στην Εκπαίδευση