Geeks
Augustindou
/
natural2lean-cli
Simple command line interface for natural2lean
Primary Language
Python
MIT License
MIT
natural2lean-cli GitHub
Markdown
Readme
0
Issues
0
Stargazers
2
Watchers
natural2lean-cli
Simple command line interface for natural2lean