/lean_grader

Primary LanguageLean

Lean auto grader

This is still work in progress. Use it at your own risk.