The Coq Proof Assistant. ΜΕΡΟΣ Β': Εφαρμογές στην Εκπαίδευση - Μπρόκου, Μαρίνα Ι. (N/A, 1970)