Geeks
brendanzab
/
lean-holes
Interactive holes for Lean 4
Primary Language
Lean
lean-holes GitHub
Markdown
Readme
0
Issues
16
Stargazers
2
Watchers
No issues in this repository yet.