métier
non classé
description
Use when bridge work involves Lean, Quint, proof claims, cross-layer correspondence, formal evidence, recovery, audit, or release decisions in the active bridge repository.
Langue du texte source : anglais
mis à jour
CharlesHoskinson/midnight-cardano-bridge
SkillsMP a collecté 2 skills depuis CharlesHoskinson/midnight-cardano-bridge. Ouvrez un skill pour examiner sa source et ses détails.
- Dernière activité source enregistrée
- Catalogue SkillsMP mis à jour
- skills collectés
- 2
- Étoiles GitHub
- 2
- Forks GitHub
- 0
Skills dans ce dépôt
classification en attente
Affichage de 2 skills collectés sur 2.
skill
métier
description
mis à jour
métier
non classé
description
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.
Langue du texte source : anglais
mis à jour
Affichage de 2 skills collectés sur 2.