Menu
SkillsMP a collecté 2 skills depuis leanprover/human-eval-lean. Ouvrez un skill pour examiner sa source et ses détails.
Affichage de 2 skills collectés sur 2.
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.
Langue du texte source : anglais
Performs thorough code reviews of individual human-eval problems. Use when asked explicity to review code or analyze code quality.
Langue du texte source : anglais