Metadata-Version: 2.5
Name: sverify
Version: 0.1.0
Summary: Contracts and incremental views on DataFusion, proven in Lean
Author-email: Alexander Nenninger <alexander.nenninger@live.de>
Requires-Python: >=3.12
Requires-Dist: datafusion==51.0.0
Requires-Dist: ibis-framework[datafusion]>=12.0.0
Requires-Dist: pyarrow>=26.0.0
Requires-Dist: substrait>=0.37.0
Description-Content-Type: text/markdown

# sverify

Contracts and incremental views on DataFusion, with plans that are proven
correct in Lean. See the "Incremental views in Python" section of the
[top-level README](../README.md).

```bash
uv sync                     # builds substrait-check with lake and links it in
uv run pytest               # differential tests
uv run python scripts/capture_fixtures.py   # re-capture DataFusion fixtures
```
