Metadata-Version: 2.4
Name: leand
Version: 0.1.0
Summary: Template repository for Lean feature development.
Author-email: Rex <rex@example.com>
License: Proprietary
Keywords: lean,lean4,template,feature-development
Classifier: Development Status :: 1 - Planning
Classifier: Intended Audience :: Developers
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.10
Classifier: Programming Language :: Python :: 3.11
Classifier: Programming Language :: Python :: 3.12
Requires-Python: >=3.10
Description-Content-Type: text/markdown
License-File: LICENSE
Provides-Extra: dev
Requires-Dist: pytest>=8.0; extra == "dev"
Requires-Dist: pytest-cov>=5.0; extra == "dev"
Requires-Dist: ruff>=0.8.0; extra == "dev"
Requires-Dist: pre-commit>=4.0.0; extra == "dev"
Dynamic: license-file

# leand

Template repository for Lean-related feature development.

## Status

This repository currently provides project structure only. Implementation is intentionally left blank.

## Layout

- `src/leand`: Python package skeleton
- `tests`: test skeleton
- `docs`: documentation placeholders
- `githubflow`: GitHub flow notes and contribution scaffolding
- `.github/workflows`: CI workflow placeholders
- `lean`: Lean-specific placeholders
