Μπρόκου, Μαρίνα Ι.; Brokou, Marina I.
(2011-07-18)
Η εργασία “The Coq Proof Assistant”, αποτελεί μια περιγραφή του interactive theorem prover Coq. Στο πρώτο τμήμα της εργασίας (Μέρος Α΄ : Εντολές και Εφαρμογές) αναλύονται τα κύρια χαρακτηριστικά και ορισμένες λειτουργίες ...