helix-ai/isun3071--lean-4-teachingpublic

Gradescope Lean autograder for discrete math classes

Lean Updated 7 days ago 1 commits
helix-ai|Mirror: isun3071/lean-4-teaching (⭐0)
7 days ago

About

Gradescope Lean autograder for discrete math classes

Readme