منشورات من leodemoura.github.io
أضافت أداة الإثبات Lean ميزة لإعادة التحقق من النتائج باستخدام عدة مدققات(leodemoura.github.io)
الملخصLean أداة إثبات تستخدم آلة للتحقق من صحة البراهين الرياضية والبرامج. وبحسب هذا المقال، أُضيف أمر lake check إلى Lean v4.35.0، ويمكن بعده تصدير العمل وإعادة فحصه بالمدقق الرسمي leanchecker. تعمل العمل…
كل المنشورات في هذه الصفحة مخفية.