تحديث حول @ethlambda. أنهينا تنفيذ دالة انتقال الحالة، مع اكتمال معالجة تصديق الكتل الآن. أضفنا شرحا موجزا عن آلية التراجع 3sf-mini إلى المستودع أيضا. نحن حاليا ندمج متجهات اختبار leanSpec أيضا.