Metadata-Version: 2.4
Name: axiomata
Version: 0.1.0
Summary: Toolkit for mathematical and CS proof, analysis, and reasoning.
Project-URL: Homepage, https://github.com/mikovilla/axiomata
Project-URL: Issues, https://github.com/mikovilla/axiomata/issues
Project-URL: PyPI, https://pypi.org/project/axiomata/
Author-email: Miko Villa <dev@mikovilla.com>
License: MIT
License-File: LICENSE
Keywords: algorithms,analysis,computer-science,discrete-math,education,mathematics,proof,reasoning,theorem
Classifier: Development Status :: 3 - Alpha
Classifier: Intended Audience :: Developers
Classifier: Intended Audience :: Education
Classifier: Intended Audience :: Science/Research
Classifier: License :: OSI Approved :: MIT License
Classifier: Operating System :: OS Independent
Classifier: Programming Language :: Python :: 3
Classifier: Topic :: Education
Classifier: Topic :: Scientific/Engineering :: Mathematics
Requires-Python: >=3.9
Requires-Dist: sympy
Provides-Extra: dev
Requires-Dist: pytest; extra == 'dev'
Description-Content-Type: text/markdown

# axiomata

![version](https://img.shields.io/badge/version-0.1.0-blue)
![python](https://img.shields.io/badge/python-3.9%2B-blue)
![license](https://img.shields.io/badge/license-MIT-green)

Importable modules for mathematical and CS proof, analysis, and reasoning.

## Modules

| Module | What it does |
|---|---|
| [`induction/`](induction/README.md) | Checks mathematical induction proofs of arithmetic-series identities |
| [`checks/`](checks/README.md) | Symbolic equality checks for algebraic expressions |
| [`calculate/`](calculate/README.md) | Master Theorem recurrence classification |

Each module has its own README with usage examples.

## Dev setup

```bash
cd axiomata

python -m venv .venv
powershell -ExecutionPolicy Bypass -File .venv\Scripts\Activate.ps1

python -m pip install -U pip
python -m pip install -e ".[dev]"

pytest
```

## License

MIT
