Based on this work, a significant extension to Coq was developed called Ssreflect (which stands for "small scale reflection").
Με βάση αυτή τη δουλειά, αναππτύχθηκε μια σημαντική επέκταση του Coq που ονομάστηκε Ssreflect (που σημαίνει "small scale reflection" ή "ανάκλαση μικρής κλίμακας").