métier
Développeurs de logiciels
description
Use this skill for high-assurance validation of reasoning, claims, and proof sketches with the repository's full workflow or direct SMT/Lean checks.
Langue du texte source : anglais
mis à jour
Tyler-R-Kendrick/agentic_validation
SkillsMP a collecté 1 skills depuis Tyler-R-Kendrick/agentic_validation. 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
- 0
- 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.