métier
Développeurs de logiciels
description
Use when the user wants Codex to build or make sustained progress on an end-to-end formally verified compiler in Lean.
Langue du texte source : anglais
mis à jour
paradigmxyz/solidus
SkillsMP a collecté 1 skills depuis paradigmxyz/solidus. 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
- 30
- Forks GitHub
- 13
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.