Perhaps you should try some spelling variations:
"coder coder proof assistant program" » "coder coder proof assistance program" (Expand search), "coder coder proof assistance programs" (Expand search), "coder coder proof assessment program" (Expand search), "coder decoder proof assistant program" (Expand search), "code code proof assistant program" (Expand search), "decoder codec proof assistant program" (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)

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

• The words AND, OR and NOT may confuse the search; try adding quotes: "((\"coder coder proof assistant program\") OR (\"api python python python programming\"))~".
• Removing quotes may allow a broader search: (( coder coder proof assistant program ) OR ( api python python python programming ))~.
• Adding a wildcard symbol may retrieve word variants: (("coder coder proof assistant program") OR ("api python python python programming"))*.