PyPI page
Home page
Author:
Tetrion Ltd
Summary:
A Python verification engine for Claim-Driven Development: state explicit mathematical claims about code and adjudicate them against symbolic and empirical evidence.
Latest version:
0.6.2.1
Required dependencies:
pyyaml
|
sympy
Optional dependencies:
build
|
coverage
|
mathema
|
mathema-language
|
mathema-symbology
|
mcp
|
mkdocs
|
mkdocs-llmstxt
|
mkdocs-material
|
mkdocstrings
|
mypy
|
numpy
|
pandas
|
polars
|
pre-commit
|
pytest
|
pytest-cov
|
pytest-xdist
|
ruff
|
tomli
|
twine
|
z3-solver
Downloads last day:
379
Downloads last week:
1,911
Downloads last month:
158
7-day smoothing