ocupación
Desarrolladores de software
descripción
Prove a specific sorry'd lemma iteratively using Lean LSP tools.
Idioma del texto original: inglés
actualizado
jeffrey-dot-li/lean-homology
SkillsMP ha recopilado 8 skills de jeffrey-dot-li/lean-homology. Abre una skill para revisar su origen y sus detalles.
- Última actividad de origen registrada
- Catálogo de SkillsMP actualizado
- skills recopiladas
- 8
- Estrellas en GitHub
- 2
- Forks en GitHub
- 0
Skills en este repositorio
3 categorías ocupacionales · 100% clasificado
Mostrando 8 de 8 skills recopiladas.
skill
ocupación
descripción
actualizado
ocupación
Desarrolladores de software
descripción
Improve Claude Code workflow by updating assistants.md, skills, memory, or CLAUDE.md.
Idioma del texto original: inglés
actualizado
ocupación
Desarrolladores de software
descripción
Fix warnings line by line and bring code into compliance with Mathlib style standards.
Idioma del texto original: inglés
actualizado
ocupación
Desarrolladores de software
descripción
Improve an existing working proof for structural clarity, succinctness, or reusability.
Idioma del texto original: inglés
actualizado
ocupación
Desarrolladores de software
descripción
Draft sorry'd theorem/lemma structure for a larger result from a proof sketch.
Idioma del texto original: inglés
actualizado
ocupación
Desarrolladores de software
descripción
Fill a sorry one step at a time, directed by the user.
Idioma del texto original: inglés
actualizado
ocupación
Matemáticos
descripción
Read and discuss proofs, strategies, or math concepts without making any edits.
Idioma del texto original: inglés
actualizado
ocupación
Físicos
descripción
Find whether a theorem/concept exists in Mathlib and locate building blocks for a new theorem.
Idioma del texto original: inglés
actualizado
Mostrando 8 de 8 skills recopiladas.