Copilot es bueno en lógica formal, al igual que algunos programadores junior

Archivo de publicación corta en Xiaohongshu: Copilot es bueno en lógica formal, al igual que algunos programadores junior.