3 ms·You can do this in Coq with the vernacular command Search and its variants.by cottonseed 12y agoYou can do this in Coq with the vernacular command Search and its variants.