https://pypi.org/project/sverify/ Recent updates to the Python Package Index for sverify en https://pypi.org/project/sverify/0.7.0/ Contracts and incremental views, proven in Lean, on DuckDB, Polars, DataFusion, Snowflake and Spark alexander.nenninger@live.de Thu, 05 Nov 2026 22:46:41 GMT https://pypi.org/project/sverify/0.4.0/ Contracts and incremental views, proven in Lean, on DuckDB, Polars, DataFusion, Snowflake and Spark alexander.nenninger@live.de Tue, 03 Nov 2026 20:56:30 GMT https://pypi.org/project/sverify/0.3.0/ Contracts and incremental views, proven in Lean, on DuckDB, Polars, DataFusion, Snowflake and Spark alexander.nenninger@live.de Sun, 01 Nov 2026 10:56:19 GMT https://pypi.org/project/sverify/0.2.0/ Contracts and incremental views, proven in Lean, on DuckDB, Polars, DataFusion, Snowflake and Spark alexander.nenninger@live.de Sun, 01 Nov 2026 08:03:02 GMT https://pypi.org/project/sverify/0.1.0/ Contracts and incremental views on DataFusion, proven in Lean alexander.nenninger@live.de Fri, 30 Oct 2026 20:26:42 GMT