IMO math > programming > rest is the order. On proof search there’s a lot of prior-work. Programs are super easy and cheap to verify or simulate/generate. BTW I

IMO math > programming > rest is the order. On proof search there’s a lot of prior-work. Programs are super easy and cheap to verify or simulate/generate. BTW I bet that even if you aren’t using copilot VS Code collects your input as training data. With programs it’s not necessary to understand NL, might as well work as show me example of input->output