Ik gebruik Hermes Agent om mezelf Lean te leren. Het heeft een curriculum van 12 delen ontworpen met een hoop oefenproblemen en kan nu onmiddellijk helpen wanneer ik een vraag heb. Het voelt alsof ik een wiskundeprofessor als persoonlijke tutor heb.

eerste eenheid voltooid! heb een paar keer geprobeerd Lean te leren, maar het was gewoon te ondoorgrondelijk. hermes agent is asymmetrische macht