O Copilot é bom em lógica formal, assim como alguns programadores iniciantes

Arquivo de postagem curta no Xiaohongshu: O Copilot é bom em lógica formal, assim como alguns programadores iniciantes.