Metadata-Version: 1.2
Name: filelean
Version: 0.1.0
Summary: Interact with Lean4 through file-based communication.
Home-page: https://github.com/Lean-zh/FileLean
Author: Rex Wang
Author-email: 1073853456@qq.com
License: MIT license
Description: UNKNOWN
Keywords: filelean
Platform: UNKNOWN
Classifier: Development Status :: 2 - Pre-Alpha
Classifier: Intended Audience :: Developers
Classifier: License :: OSI Approved :: MIT License
Classifier: Natural Language :: English
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.9
Requires-Python: >=3.6
