αρχείο Email: The Coq Proof Assistant: ΜΕΡΟΣ Α' : "Εντολές και Εφαρμογές"