ocupação
Desenvolvedores de software
descrição
Use when the user wants Codex to build or make sustained progress on an end-to-end formally verified compiler in Lean.
Idioma do texto original: inglês
atualizado
paradigmxyz/solidus
O SkillsMP coletou 1 skills de paradigmxyz/solidus. Abra uma skill para revisar a origem e os detalhes.
- Última atividade de origem registrada
- Catálogo do SkillsMP atualizado
- skills coletadas
- 1
- Estrelas no GitHub
- 30
- Forks no GitHub
- 13
Skills neste repositório
1 categorias ocupacionais · 100% classificado
Mostrando 1 de 1 skills coletadas.
skill
ocupação
descrição
atualizado
Mostrando 1 de 1 skills coletadas.