leanprover/human-eval-lean

restructure-solutions

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.

لغة النص الأصلي: الإنجليزية

code-review

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

لغة النص الأصلي: الإنجليزية