Perhaps you should try some spelling variations:
"coder coder propositions logic programming" » "coder model proposition logic programming" (Expand search), "coder other propositions logic programming" (Expand search), "coder some propositions logic programming" (Expand search), "coder coder proposition logic programming" (Expand search), "coder coder propositions logical programming" (Expand search), "coder coder propositional logic programming" (Expand search), "coder decoder propositions logic programming" (Expand search), "code code propositions logic programming" (Expand search), "decoder codec propositions logic programming" (Expand search)
"manim python python python programming" » "manim pythons python python programming" (Expand search), "manim piton python python programming" (Expand search), "manim pitons python python programming" (Expand search), "monty python python python programming" (Expand search), "api 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 propositions logic programming") OR ("manim python python python programming"))~.
• The words AND, OR and NOT may confuse the search; try adding quotes: "((\"coder coder propositions logic programming\") OR (\"manim python python python programming\"))".
• Removing quotes may allow a broader search: (( coder coder propositions logic programming ) OR ( manim python python python programming )).
• Adding a wildcard symbol may retrieve word variants: (("coder coder propositions logic programming") OR ("manim python python python programming"))*.