كود كلود (@AnthropicAI) وأرسطو (@HarmonicMath) هما محللتا الخلفية المفضلتان الجديدتان لدي للتحقق التلقائي من البرامج في لين. الذكاء الاصطناعي هو SMT الجديد.