Carregando o README do repositório…
Mostrando 2 de 2 skills coletadas.
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 do texto original: inglês
Performs thorough code reviews of individual human-eval problems. Use when asked explicity to review code or analyze code quality.
Idioma do texto original: inglês
Copie este prompt para o assistente de IA que você usa.
Follow https://skillsmp.com/skill-install/prompt.md to install Agent Skills from https://github.com/leanprover/human-eval-lean.Não foi possível carregar o README. Você ainda pode explorar os Skills do repositório abaixo.