معلم آخر في التحقق الرسمي. يعد إضفاء الطابع الرسمي على كثيرات الحدود القابلة للحساب في Lean خطوة مهمة نحو التحقق الموثوق به والقابل لإعادة الاستخدام. الفضل الكبير لفريق Nethermind Formal Verification لدفع هذا إلى الأمام.