Perhaps you should try some spelling variations:
"coder coding automatic theorem coding" » "coder coding automata theory coding" (Expand search), "coder coding automation theorem coding" (Expand search), "coder coin automatic theorem coding" (Expand search), "coder codigo automatica theorem coding" (Expand search), "coder coding automatic theorem proving" (Expand search), "coder coding automatic theorem using" (Expand search), "modern coding automatic theorem coding" (Expand search), "color coding automatic theorem coding" (Expand search), "odor coding automatic theorem coding" (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 coding automatic theorem coding") OR ("api python python python programming"))~.
• The words AND, OR and NOT may confuse the search; try adding quotes: "((\"coder coding automatic theorem coding\") OR (\"api python python python programming\"))".
• Removing quotes may allow a broader search: (( coder coding automatic theorem coding ) OR ( api python python python programming )).
• Adding a wildcard symbol may retrieve word variants: (("coder coding automatic theorem coding") OR ("api python python python programming"))*.