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
SkillsMP hat 2 Skills aus leanprover/human-eval-lean gesammelt. Öffne einen Skill, um Quelle und Details zu prüfen.
- Letzte erfasste Quellaktivität
- SkillsMP-Katalog aktualisiert
- gesammelte Skills
- 2
- GitHub-Stars
- 31
- GitHub-Forks
- 9
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.