Estou a usar o Hermes Agent para me ensinar Lean. Ele criou um currículo de 12 partes com um monte de problemas práticos e agora pode ajudar imediatamente sempre que tenho uma dúvida. Parece que tenho um professor de matemática como tutor pessoal.

primeira unidade concluída! tentei algumas vezes aprender Lean, mas era apenas demasiado incompreensível. o agente hermes é poder assimétrico