natural2lean>=0.0.3
inquirerpy

[dev]
pytest>=3.6
pyperclip
black
