Kendime Lean'i öğrenmek için Hermes Agent kullanıyorum. 12 bölümlük bir müfredat tasarladı ve bir sürü pratik problemi vardı ve şimdi sorum olursa hemen yardımcı olabiliyor. Kişisel bir matematik profesörü gibi hissettiriyor

İlk birim bitti! Lean'i birkaç kez öğrenmeye çalıştım ama çok anlaşılmazdı. Hermes ajanı asimetrik güçtür