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

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