職業分類
未分類
説明
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 は CharlesHoskinson/midnight-cardano-bridge から 2 件の skill を収集しています。skill を開くとソースと詳細を確認できます。
- 記録された最新のソース活動
- SkillsMP カタログ更新
- 収集済み skills
- 2
- GitHub スター
- 2
- GitHub フォーク
- 0
このリポジトリの skills
分類待ち
収集済み skill 2 件中 2 件を表示しています。
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.
原文の言語: 英語
更新
収集済み skill 2 件中 2 件を表示しています。