Comment by esafak

Is this useful for specifying programs too or only theorems?