职业分类
未分类
描述
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 Forks
- 0
这个仓库中的 skills
职业分类待补全
已展示 2 / 2 个已收集 Skill。
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.
原文语言：英语
更新
已展示 2 / 2 个已收集 Skill。