Search across Coq libraries available on opam!
The pattern is exact by default. Try Fixpoint or intros. for example.
The antislash \ provides support for regular expressions:
\. | to match any single character: .(\.) |
a\? | to optionally match the character a: fold_left2\? ~f or type (\?!' |
a\* | to match zero or more times: 1_0\* |
a\+ | to match one or more times: >\+| |
\(a\) | to group a pattern: let\( rec\)\? fold_left |
a\|b | to match either a or b: match\|function |
\[aA\] | and ranges \[a-z\] to match a character from a set: (val \[A-Z\]\[a-z_0-9\]\* |
\w | is a shortcut for any alphanumeric character \[A-Za-z0-9_'\]. |
The search will proceed on all .v, stripped of their comments, on either the package release or the git repository where available.
(* Read the original source for the OCaml version art-w/sherlocode , the fork for Coq is at patricoferris/sherlocode#coq *)