GitHub repository: lean-ja/lean-problems
Primary language: Lean
Description: Lean の演習問題集