Я використовую Hermes Agent, щоб самостійно навчитися Lean. Він розробив навчальну програму з 12 частин із багатьма практичними задачами і тепер може одразу допомогти, коли у мене виникають питання. Відчувається, ніби у мене є професор математики як особистий репетитор

Перший загін завершено! кілька разів намагався вивчити Lean, але це було надто загадково. агент Гермеса — асиметрична потужність