Geeks
EdAyers
/
lean-subtask
Subtasks algorithm for Lean
Primary Language
Lean
MIT License
MIT
lean-subtask GitHub
Markdown
Readme
0
Issues
5
Stargazers
3
Watchers
Watchers
EdAyers
CMU
eemailme
jhcloos