Perhaps you should try some spelling variations:
"coder coder number theorem provers" » "coder coder number theorem prover" (Expand search), "coder coder number theorem proving" (Expand search), "coder coder number theory provers" (Expand search), "coder coder numbers theory provers" (Expand search), "coder cover number theorem provers" (Expand search), "coder codes numbers theorem provers" (Expand search), "coder over number theorem provers" (Expand search), "coder decoder number theorem provers" (Expand search), "code code number theorem provers" (Expand search), "decoder codec number theorem provers" (Expand search)
"api python python python programming" » "api pythons python python programming" (Expand search), "api piton python python programming" (Expand search), "api pitons python python programming" (Expand search), "rpa python python python programming" (Expand search), "manim python python python programming" (Expand search)

You may be able to get more results by adjusting your search query.

• Performing a fuzzy search may retrieve terms with similar spellings: (("coder coder number theorem provers") OR ("api python python python programming"))~.
• The words AND, OR and NOT may confuse the search; try adding quotes: "((\"coder coder number theorem provers\") OR (\"api python python python programming\"))".
• Removing quotes may allow a broader search: (( coder coder number theorem provers ) OR ( api python python python programming )).
• Adding a wildcard symbol may retrieve word variants: (("coder coder number theorem provers") OR ("api python python python programming"))*.