leanprover/human-eval-lean

SkillsMP ha recopilado 2 skills de leanprover/human-eval-lean. Abre una skill para revisar su origen y sus detalles.

Perfil de leanprover Ver en GitHub

Última actividad de origen registrada: 3 de marzo de 2026 a las 16:35

Catálogo de SkillsMP actualizado: 23 de agosto de 2026 a las 20:39

skills recopiladas: 2

Estrellas en GitHub: 31
Forks en GitHub: 9

Skills en este repositorio

Desarrolladores de software

1 categorías ocupacionales · 100% clasificado

skill

ocupación

descripción

actualizado

restructure-solutions

Desarrolladores de software

Restructures a Lean file with one or many solution implementations so that each solution is self-contained with its own Implementation, Tests, and Verification sections.

Idioma del texto original: inglés

2026-03-03

code-review

Desarrolladores de software

Performs thorough code reviews of individual human-eval problems. Use when asked explicity to review code or analyze code quality.

Idioma del texto original: inglés

2026-03-03

Mostrando 2 de 2 skills recopiladas.