https://github.com/seasawher/lean-quiz-template
Lean でクイズを出題するためのテンプレート. lean_grader を使用して自動採点を行います．開発中．
https://github.com/seasawher/lean-quiz-template
autograding lean lean4 theorem-prover
Last synced: 3 months ago
JSON representation
Lean でクイズを出題するためのテンプレート. lean_grader を使用して自動採点を行います．開発中．
- Host: GitHub
- URL: https://github.com/seasawher/lean-quiz-template
- Owner: Seasawher
- Created: 2023-08-25T11:37:51.000Z (about 2 years ago)
- Default Branch: main
- Last Pushed: 2023-08-25T16:23:00.000Z (about 2 years ago)
- Last Synced: 2025-06-28T10:09:59.808Z (3 months ago)
- Topics: autograding, lean, lean4, theorem-prover
- Language: Lean
- Homepage:
- Size: 13.7 KB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files: