Я использую Hermes Agent, чтобы научиться Lean. Он разработал 12-частный учебный план с множеством практических задач и теперь может помочь мне сразу, когда у меня есть вопрос. Чувствуется, как будто у меня есть математический профессор в качестве личного репетитора.

первая единица готова! пытался несколько раз изучить Lean, но это было просто слишком непонятно. агент hermes — это асимметричная сила