J'utilise Hermes Agent pour m'initier à Lean. Il a conçu un programme en 12 parties avec plein de problèmes pratiques et peut maintenant m'aider immédiatement chaque fois que j'ai une question. On dirait que j'ai un professeur de mathématiques comme tuteur personnel.

première unité terminée ! J'ai essayé plusieurs fois d'apprendre Lean mais c'était juste trop obscur. l'agent hermès est un pouvoir asymétrique