Geeks
yeahrmek
/
pylean
Python wrapper for lean-gym
Primary Language
Python
pylean GitHub
Markdown
Readme
2
Issues
8
Stargazers
2
Watchers
Issues
Closed issue
about the install
#2 opened
2 years ago
2
Open issue
About depth-first traversal with pylean
#1 opened
2 years ago
2