المهنة
غير مصنف
الوصف
Use when bridge work involves Lean, Quint, proof claims, cross-layer correspondence, formal evidence, recovery, audit, or release decisions in the active bridge repository.
لغة النص الأصلي: الإنجليزية
آخر تحديث
CharlesHoskinson/midnight-cardano-bridge
جمع SkillsMP عدد ٢ من skills من CharlesHoskinson/midnight-cardano-bridge. افتح أي skill لمراجعة مصدره وتفاصيله.
- آخر نشاط مصدر مسجل
- آخر تحديث لفهرس SkillsMP
- skills مجمعة
- ٢
- نجوم GitHub
- ٢
- تفرعات GitHub
- ٠
Skills في هذا المستودع
التصنيف قيد الانتظار
عرض ٢ من أصل ٢ skills مجمعة.
skill
المهنة
الوصف
آخر تحديث
المهنة
غير مصنف
الوصف
Use when bridge work involves formalization, Lean or Quint selection, proof claims, obligation status, cross-layer correspondence, formal-session recovery, or formal evidence review for candidate, audit, or release.
لغة النص الأصلي: الإنجليزية
آخر تحديث
عرض ٢ من أصل ٢ skills مجمعة.