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