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