Coq: λήψη προγραμμάτων

Εκδότης: Coq. Στον κατάλογο υπάρχουν 1 πρόγραμμα Windows. Πιο πρόσφατη ενημέρωση: Coq Beta 2025.08.3. · github.com