HOL 7

HOL μικρή από Ανώτερης Τάξης Λογική είναι ένα προγραμματιστικό περιβάλλον στο οποίο θεωρήματα μπορούν να αποδειχθούν και τα εργαλεία απόδειξη εφαρμοστεί.Built-in διαδικασίες λήψης αποφάσεων και provers θεώρημα μπορεί να δημιουργήσει αυτόματα πολλές απλές...
Κατεβάστε το δωρεάν HOL για LINUX (tar.gz)

Συνιστώμενο λογισμικό για Linux