métier
Développeurs de logiciels
description
Generate an RFC 2119-conformant specification document and a compiling Lean 4 formalization from documentation URLs or file paths.
Langue du texte source : anglais
mis à jour
NyxFoundation/docs2formalspec
SkillsMP a collecté 1 skills depuis NyxFoundation/docs2formalspec. Ouvrez un skill pour examiner sa source et ses détails.
- Dernière activité source enregistrée
- Catalogue SkillsMP mis à jour
- skills collectés
- 1
- Étoiles GitHub
- 18
- Forks GitHub
- 0
Skills dans ce dépôt
1 catégories métier · 100% classifié
Affichage de 1 skills collectés sur 1.
skill
métier
description
mis à jour
Affichage de 1 skills collectés sur 1.