Geeks
semorrison
/
lean-training-data
Primary Language
Lean
Apache License 2.0
Apache-2.0
lean-training-data GitHub
Markdown
Readme
2
Issues
34
Stargazers
3
Watchers
Watchers
alreadydone
Heidelberg / Shenzhen
eemailme
semorrison
Canberra