theoremsmith
Turn a Lean 4 repository into a graded proof task: build it, cut a theorem's proof, and grade a solver's replacement.
About
Turn a Lean 4 repository into a graded proof task: build it, cut a theorem's proof, and grade a solver's replacement.
Languages
Contributors1
No features listed.
Comments Theme
