Skip to main content

Natural deduction

  pip install natural-deduction

Then:

  # Python
  import natural_deduction

Metadata

Release files for natural-deduction 0.0.1

For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.

Source distribution (sdist)

Source distribution for natural-deduction 0.0.1
File Size Uploaded Provenance
natural_deduction-0.0.1.tar.gz 2.5 kB With provenance Details

Built distribution (wheel)

Table of built distributions (wheels) for natural-deduction 0.0.1
File Interpreter ABI Platform
natural_deduction-0.0.1-py3-none-any.whl Python 3 none any Details

Total release size: 6.1 kB

Release files / natural_deduction-0.0.1.tar.gz

Download URL natural_deduction-0.0.1.tar.gz
Size 2.5 kB
Tags Source
SHA-256 checksum
How to use checksums
f5e9bfdf333084f1388d27537aaed74646162a5caaae10fac36974ad00d3c7bc
BLAKE2b-256 checksum
How to use checksums
7ba7ab67267cf8ca8eb099c6d3f5b939891648ffe5810044a336b7ddbd08e95e
Upload date
Uploaded using Trusted Publishing?
What is trusted publishing?
Yes
Uploaded via twine/6.1.0 CPython/3.13.12

Provenance

Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.

PyPI Publish Attestation

PyPI verified that this artifact, at this checksum, originated from the publisher listed below.

Signed by GitHub Actions, verified by PyPI on May 13, 2026.

Transparency log

Release files / natural_deduction-0.0.1-py3-none-any.whl

Download URL natural_deduction-0.0.1-py3-none-any.whl
Size 3.6 kB
Tags Python 3
SHA-256 checksum
How to use checksums
5a95d654c8d128b7b84e6200a6a83ec5338fef0b05c9cc39d5b12ab5028c5aab
BLAKE2b-256 checksum
How to use checksums
28dc99dc607ec08667255f807e62fe772c93d6c86a18f80153c51decfce8532a
Upload date
Uploaded using Trusted Publishing?
What is trusted publishing?
Yes
Uploaded via twine/6.1.0 CPython/3.13.12

Provenance

Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.

PyPI Publish Attestation

PyPI verified that this artifact, at this checksum, originated from the publisher listed below.

Signed by GitHub Actions, verified by PyPI on May 13, 2026.

Transparency log

Security for natural-deduction 0.0.1

Provenance

Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.

Full provenance

All 2 files in this release have been uploaded with provenance metadata.

Select from 2 files

Attestation for natural_deduction-0.0.1.tar.gz

PyPI Publish Attestation

PyPI verified that this artifact, at this checksum, originated from the publisher listed below.

Signed by GitHub Actions, verified by PyPI on May 13, 2026.

Transparency log

A note on package security

PyPI is a repository for distributing packages, not a service for auditing them. While third-party security researchers and our staff do their best to detect and remove malicious packages, PyPI cannot guarantee the quality, security or suitability of any given package.

Release history Release notifications | RSS feed

This release

0.0.1 This release

2 release files Full provenance

Anthropic, PBC Visionary sponsor Bloomberg Visionary sponsor Hudson River Trading Visionary sponsor Meta Visionary sponsor NVIDIA Visionary sponsor Microsoft Sustainability sponsor Depot Continuous Integration AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page