ocupação
Desenvolvedores de software
descrição
Prove a specific sorry'd lemma iteratively using Lean LSP tools.
Idioma do texto original: inglês
atualizado
jeffrey-dot-li/lean-homology
O SkillsMP coletou 8 skills de jeffrey-dot-li/lean-homology. Abra uma skill para revisar a origem e os detalhes.
- Última atividade de origem registrada
- Catálogo do SkillsMP atualizado
- skills coletadas
- 8
- Estrelas no GitHub
- 2
- Forks no GitHub
- 0
Skills neste repositório
3 categorias ocupacionais · 100% classificado
Mostrando 8 de 8 skills coletadas.
skill
ocupação
descrição
atualizado
ocupação
Desenvolvedores de software
descrição
Improve Claude Code workflow by updating assistants.md, skills, memory, or CLAUDE.md.
Idioma do texto original: inglês
atualizado
ocupação
Desenvolvedores de software
descrição
Fix warnings line by line and bring code into compliance with Mathlib style standards.
Idioma do texto original: inglês
atualizado
ocupação
Desenvolvedores de software
descrição
Improve an existing working proof for structural clarity, succinctness, or reusability.
Idioma do texto original: inglês
atualizado
ocupação
Desenvolvedores de software
descrição
Draft sorry'd theorem/lemma structure for a larger result from a proof sketch.
Idioma do texto original: inglês
atualizado
ocupação
Desenvolvedores de software
descrição
Fill a sorry one step at a time, directed by the user.
Idioma do texto original: inglês
atualizado
ocupação
Matemáticos
descrição
Read and discuss proofs, strategies, or math concepts without making any edits.
Idioma do texto original: inglês
atualizado
ocupação
Físicos
descrição
Find whether a theorem/concept exists in Mathlib and locate building blocks for a new theorem.
Idioma do texto original: inglês
atualizado
Mostrando 8 de 8 skills coletadas.