Zoekt, en gij zult spinazie eten

rigorous r:proof: Search for "rigorous" in files from the "proof" repository.
"derivation of" r:equation: Search for the exact phrase "derivation of" in the "equation" repository.
convergence (r:abstract or r:math): Search for "convergence" in "abstract" or "math" repositories.
finite group r:abstract: Search for "finite" and "group" together in "abstract" repository.
analysis -r:example: Search for "analysis" but exclude results from "example" repository.
Theorem case:yes r:definition: Search for "Theorem" (case-sensitive) in "definition" repository.
"Knuth" "Art of Computer Programming" r:thebibliography: Search for "Knuth" and "Art of Computer Programming" in "thebibliography" repository.
"Pumping Lemma" (r:lemma or r:lem): Search for "Pumping Lemma" in repositories like "lemma" or "lem".

r:algo: list repositories whose name contains "algo".
r:go -r:google: list repositories whose name contains "go" but not "google".