Jag använder Hermes Agent för att lära mig Lean själv. Den har utformat en 12-delad läroplan med en massa övningsuppgifter och kan nu hjälpa till direkt när jag har en fråga. Det känns som att ha en matematiklärare som privathandledare

Första enheten klar! Försökte några gånger lära mig Lean men det var bara för svårtolkat. Hermes agent är asymmetrisk makt