Despite the name, most of the new features added to Coq by Ssreflect are general-purpose features, useful not merely for the computational reflection style of proof.
Παρά το όνομα, τα πιο πολλά από τα νέα χαρακτηριστικά που προσθέτει στο Coq η Ssreflect είναι ιδιότητες γενικής χρήσης, που δεν είναι χρήσιμα μόνο για το στυλ υπολογιστικής ανάκλασης της απόδειξης.