مقالات عن تطوير الويب والذكاء الاصطناعي والتقنيات
في Creusot 0.14.0 أُضيفت مواصفات للترتيب الجزئي، وشروط تحقق للقطات، وتصفح rust-analyzer في Pearlite. لم تعد PartialOrd مقتصرة على الترتيب الكامل؛ PartialOrdLogic الجديدة تستخدم lt_log بدل cmp_log.
