Beruf
Softwareentwickler
Beschreibung
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.
Quellsprache: Englisch
Aktualisiert
leanprover/human-eval-lean
- Letzte erfasste Quellaktivität
- SkillsMP-Katalog aktualisiert
- gesammelte Skills
- 2
- GitHub-Stars
- 31
- GitHub-Forks
- 9
README des Repositorys wird geladen…
Skills in diesem Repository
1 Berufskategorien · 100% klassifiziert
Es werden 2 von 2 gesammelten Skills angezeigt.
Skill
Beruf
Beschreibung
Aktualisiert
Beruf
Softwareentwickler
Beschreibung
Performs thorough code reviews of individual human-eval problems. Use when asked explicity to review code or analyze code quality.
Quellsprache: Englisch
Aktualisiert
Es werden 2 von 2 gesammelten Skills angezeigt.
Mit einem KI-Assistenten installieren
Diesen Prompt kopieren und in den verwendeten KI-Assistenten einfügen.
Follow https://skillsmp.com/skill-install/prompt.md to install Agent Skills from https://github.com/leanprover/human-eval-lean.