axiomata

version python license

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

Modules

Everything lives under the single axiomata package — see axiomata/README.md for full usage examples.

Submodule	What it does
`axiomata.induction`	Checks mathematical induction proofs of arithmetic-series identities
`axiomata.checks`	Symbolic equality checks for algebraic expressions
`axiomata.master_theorem`	Master Theorem recurrence classification

from axiomata import induction, checks, master_theorem

induction.base_case("1 + 2 + 3 + ... + n = n(n+1)/2")
checks.equal("(k+1)³ − (k+1)", "(k³ − k) + 3k(k+1)")
master_theorem.calculate(2, 2, "n")

Dev setup

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

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

axiomata-0.2.0.tar.gz (8.0 kB view details)

Uploaded Aug 1, 2026 Source

Built Distribution

If you're not sure about the file name format, learn more about wheel file names.

The dropdown lists show the available interpreters, ABIs, and platforms. Enable javascript to be able to filter the list of wheel files.

axiomata-0.2.0-py3-none-any.whl (7.6 kB view details)

Uploaded Aug 1, 2026 Python 3

File details

Details for the file axiomata-0.2.0.tar.gz.

File metadata

Download URL: axiomata-0.2.0.tar.gz
Upload date: Aug 1, 2026
Size: 8.0 kB
Tags: Source
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/7.0.0 CPython/3.13.14

File hashes

Hashes for axiomata-0.2.0.tar.gz
Algorithm	Hash digest
SHA256	`65cb50ea79e4e181fa3d431b9cc77830d46756d7a6483ab0810c8e4912a1c764`
MD5	`d25350eb2b9d5ca03e465f012e82f399`
BLAKE2b-256	`630f044608334ba34ef8a7d9403cc59da535ff65aba59c7758b33a9ebc2f28d8`

See more details on using hashes here.

Provenance

The following attestation bundles were made for axiomata-0.2.0.tar.gz:

Publisher: release.yml on mikovilla/axiomata

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: axiomata-0.2.0.tar.gz
- Subject digest: 65cb50ea79e4e181fa3d431b9cc77830d46756d7a6483ab0810c8e4912a1c764
- Sigstore transparency entry: 2314250924
- Sigstore integration time: Aug 1, 2026
Source repository:
- Permalink: mikovilla/axiomata@2d4a3f8ce534e2341dabf8250a9ee85993e6631a
- Branch / Tag: refs/tags/v0.2.0
- Owner: https://github.com/mikovilla
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: release.yml@2d4a3f8ce534e2341dabf8250a9ee85993e6631a
- Trigger Event: push