Toolkit for mathematical and CS proof, analysis, and reasoning.

Navigation

Verified details

These details have been verified by PyPI
Project links
GitHub Statistics
Maintainers
Avatar for mikovilla from gravatar.com mikovilla

Unverified details

These details have not been verified by PyPI
Meta
  • License: MIT License (MIT)
  • Author: Miko Villa
  • Tags algorithms , analysis , computer-science , discrete-math , education , mathematics , proof , reasoning , theorem
  • Requires: Python >=3.9
  • Provides-Extra: dev
Classifiers
Report project as malware

Project description

# axiomata

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

## License

MIT

Project details

Verified details

These details have been verified by PyPI
Project links
GitHub Statistics
Maintainers
Avatar for mikovilla from gravatar.com mikovilla

Unverified details

These details have not been verified by PyPI
Meta
  • License: MIT License (MIT)
  • Author: Miko Villa
  • Tags algorithms , analysis , computer-science , discrete-math , education , mathematics , proof , reasoning , theorem
  • Requires: Python >=3.9
  • Provides-Extra: dev
Classifiers

Release history Release notifications | RSS feed

This version

0.0.1

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.0.1.tar.gz (2.3 kB view details)

Uploaded Source

Built Distribution

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

axiomata-0.0.1-py3-none-any.whl (2.1 kB view details)

Uploaded Python 3

File details

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

File metadata

  • Download URL: axiomata-0.0.1.tar.gz
  • Upload date:
  • Size: 2.3 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? Yes
  • Uploaded via: twine/6.1.0 CPython/3.13.14

File hashes

Hashes for axiomata-0.0.1.tar.gz
Algorithm Hash digest
SHA256 5efae66c230ab1ca2b6f811187437292000dbcca962227763361b36e2ea883de
MD5 aea7f425fb9a5ac07723733d5fb8fa19
BLAKE2b-256 fa0d74a841f13586b336a9669a25bf217f2484b07aa21f3046f4c3cfd93677a2

See more details on using hashes here.

Provenance

The following attestation bundles were made for axiomata-0.0.1.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.

File details

Details for the file axiomata-0.0.1-py3-none-any.whl.

File metadata

  • Download URL: axiomata-0.0.1-py3-none-any.whl
  • Upload date:
  • Size: 2.1 kB
  • Tags: Python 3
  • Uploaded using Trusted Publishing? Yes
  • Uploaded via: twine/6.1.0 CPython/3.13.14

File hashes

Hashes for axiomata-0.0.1-py3-none-any.whl
Algorithm Hash digest
SHA256 74c6880e38d85e46e11e1bd2a4726682751d3bd32e35171744be1ae5cb2a0669
MD5 3ece17d7e1b425dfd9b8aebc1584ea06
BLAKE2b-256 56108185051ae7243d9a6a2f7a2abf45721f841eaed2185e2318682e27168644

See more details on using hashes here.

Provenance

The following attestation bundles were made for axiomata-0.0.1-py3-none-any.whl:

Publisher: release.yml on mikovilla/axiomata

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

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page