Certora Prover v7.29.1 خارج! Prover هي أداة مفتوحة المصدر لإثبات أن العقود الذكية تتصرف بشكل صحيح عبر جميع الحالات والمدخلات الممكنة. يضيف هذا الإصدار ميزات جديدة لمساعدتك على كتابة مواصفات أكثر أمانا وتبسيط التكوينات والعمل بكفاءة أكبر. إليك الجديد 👇🧵