Post #380 160 Aug 14, 2025, 13:08 UTC Даже если там под капотом просто LLM с условным «REPL» в Lean – это очень и очень круто! 🤓 🌭 1