Metadata-Version: 2.4
Name: ivy-lsp
Version: 0.1.0
Summary: Language Server Protocol implementation for the Ivy formal specification language
Author: ElNiak
License: MIT
Project-URL: Homepage, https://github.com/ElNiak/ivy-lsp
Project-URL: Repository, https://github.com/ElNiak/ivy-lsp
Project-URL: Issues, https://github.com/ElNiak/ivy-lsp/issues
Keywords: ivy,lsp,language-server,formal-verification
Classifier: Development Status :: 3 - Alpha
Classifier: Intended Audience :: Developers
Classifier: License :: OSI Approved :: MIT License
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.10
Classifier: Programming Language :: Python :: 3.11
Classifier: Programming Language :: Python :: 3.12
Classifier: Topic :: Software Development :: Testing
Classifier: Topic :: Text Editors :: Integrated Development Environments (IDE)
Requires-Python: >=3.10
Description-Content-Type: text/markdown
License-File: LICENSE
Requires-Dist: pygls>=1.0
Requires-Dist: lsprotocol
Provides-Extra: ivy
Requires-Dist: panther_ms_ivy; extra == "ivy"
Provides-Extra: dev
Requires-Dist: pytest; extra == "dev"
Requires-Dist: pytest-asyncio; extra == "dev"
Requires-Dist: black; extra == "dev"
Requires-Dist: isort; extra == "dev"
Requires-Dist: flake8; extra == "dev"
Dynamic: license-file
