Beruf
nicht klassifiziert
Beschreibung
Use when bridge work involves Lean, Quint, proof claims, cross-layer correspondence, formal evidence, recovery, audit, or release decisions in the active bridge repository.
Quellsprache: Englisch
Aktualisiert
CharlesHoskinson/midnight-cardano-bridge
SkillsMP hat 2 Skills aus CharlesHoskinson/midnight-cardano-bridge gesammelt. Öffne einen Skill, um Quelle und Details zu prüfen.
- Letzte erfasste Quellaktivität
- SkillsMP-Katalog aktualisiert
- gesammelte Skills
- 2
- GitHub-Stars
- 2
- GitHub-Forks
- 0
Skills in diesem Repository
Klassifizierung ausstehend
Es werden 2 von 2 gesammelten Skills angezeigt.
Skill
Beruf
Beschreibung
Aktualisiert
Beruf
nicht klassifiziert
Beschreibung
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.
Quellsprache: Englisch
Aktualisiert
Es werden 2 von 2 gesammelten Skills angezeigt.