1 نتيجة
أطلقت Mistral النموذج في 2 يوليو. قراءة بتاريخ 5 يوليو في الفرق بين اقتراح برنامج وإثبات خاصية محددة فيه باستخدام Lean 4.
