Kechirasiz, lekin Lean rasmiy tizimida mening darajam yetarli emas. Bundan tashqari, bu til doimiy ravishda o'zgarib boradi, va mening javobim ushbu tilning hozirgi versiyalariga mos kelmasligi mumkin. Agar siz menga tilning qaysi versiyasini ishlatmoqchi ekanligingiz haqida bir oz ko'proq kontekst va aniqlik bersangiz, nazariy, ta'riflar va men foydalanishi mumkin bo'lgan matematik ob'ektlar, men sizga yordam berishim mumkin. Sizga so'rovingiz uchun yordam berish uchun quyidagi manbalarga murojaat qilishingizni maslahat beraman: https://leanprover.github.io/ https://leanprover-community.github.io/
spam fails_task lang_mismatch pii not_appropriate hate_speech sexual_content quality toxicity humor helpfulness creativity violence