NEW: try Sherlodoc for OCaml!


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 *)