Copilot excels at formal logic, just like some junior programmers

Archive of a Xiaohongshu short post: Copilot excels at formal logic, just like some junior programmers.