۱ مطلب با این برچسب
زبان Lean با انتشار نسخه v4.35.0 و دستور lake check، هسته‌های اثبات‌گر جدید و تأییدشده‌ای را برای مقابله با آسیب‌پذیری‌های کشف‌شده توسط عامل‌های هوش مصنوعی ارائه کرده است. این به‌روزرسانی با استفاده از رویکردهای صوری و هسته‌های جایگزین، امنیت بررسی اثبات‌ها را به شکل چشمگیری افزایش می‌دهد.