Σελίδες με συνδέσμους προς το Coq
← Coq
Οι παρακάτω σελίδες συνδέουν εδώ:
Εμφανίζονται 6 αντικείμενα.
- Γλώσσα προγραμματισμού (← συνδέσεις | επεξεργασία)
- Συναρτησιακός προγραμματισμός (← συνδέσεις | επεξεργασία)
- Darcs (← συνδέσεις | επεξεργασία)
- Τυπική επαλήθευση (← συνδέσεις | επεξεργασία)
- Εξαρτώμενος τύπος (← συνδέσεις | επεξεργασία)
- Θεώρημα των τεσσάρων χρωμάτων (← συνδέσεις | επεξεργασία)