Logic Prover (logic-prover)
logic-prover is a formal logic theorem prover, explorer, deducer, and Lean 4 exporter in Python with optional Cython acceleration.
📚 Full Documentation & API Reference: https://francofantomius.com/logic-prover/
Features
- First-Order & Second-Order Logic AST: Full support for parameterized sorts, canonical variable renaming, and substitutions.
- Resolution Prover with Equality: Otter/Discount given-clause loop with superposition and natural deduction proof reconstruction.
- Formula Explorer: Diversity-guided formula generation and interestingness heuristic ranking.
- Deducer: Network-level minimal hypothesis detection and equivalence classification.
- Lean 4 Export: High-fidelity translation of formulas, statements, and tactic proofs into Lean 4 code.
- Interactive HTML Graphs: Proof DAG and dependency graph visualizer.
- Optional Cython Acceleration: Core AST, substitutions, resolution engine, and constructive logic solvers compiled to native C extensions for high performance.
- Automated Documentation & Logging: Structured logging subsystem and Reflection/AST documentation generator.
Installation
From PyPI
Install the latest release from PyPI:
pip install logic-prover
To install with visualization support (interactive HTML graphs with Jinja2):
pip install "logic-prover[vis]"
From GitHub
You can also install the latest development version directly from GitHub:
pip install git+https://github.com/FrancoFantomius/logic-prover.git
From Source (Development)
Clone the repository and install in editable mode:
git clone https://github.com/FrancoFantomius/logic-prover.git
cd logic-prover
pip install -e ".[dev,vis]"
Quickstart & CLI
Syntax Note: Formulas require
v0,v1, ... for individual variables,=>(orimplies/→) for implication,&(orand/∧) for conjunction,|(oror/∨) for disjunction, and~(ornot/¬) for negation.
# Initialize Knowledge Database
logic-prover init --reset
# Prove a Theorem
logic-prover prove "(forall v0 (P(v0) => Q(v0))) => ((forall v0 P(v0)) => (forall v0 Q(v0)))"
# Explore Candidate Formulas
logic-prover explore --strategy mixed --count 20 --top-k 5
# Analyze Network Dependencies
logic-prover analyze
# Export to Lean 4
logic-prover export lean --output theorem.lean --stubs-only
# Export Interactive Proof Graph
logic-prover export graph --type dependency --output network.html
# Generate API Documentation
python utils/doc_generator.py --output-dir docs
(You can also invoke via python -m logic_prover)
Python API Example
import logging
import logic_prover
from logic_prover.axioms import get_combined_signature
from logic_prover.core.parser import parse_formula, to_string
from logic_prover.prover.engine import TheoremProver
from logic_prover.config import SolverConfig
# Configure logging
logging.basicConfig(level=logging.INFO)
# Load logical signature containing predefined predicates & functions
signature = get_combined_signature()
# Configure and instantiate TheoremProver
config = SolverConfig(prover_timeout_sec=5.0, prover_max_steps=500)
prover = TheoremProver(signature=signature, config=config)
# Parse hypothesis and target formula (using 'v0', 'v1', ... for variables)
hypothesis = parse_formula("forall v0, (P(v0) => Q(v0))", signature=signature)
conclusion = parse_formula("(forall v0, P(v0)) => (forall v0, Q(v0))", signature=signature)
# Run resolution theorem prover (returns a ProofDAG on success)
proof_dag = prover.prove(target=conclusion, premises=[hypothesis])
print(f"Proof Found for target: {to_string(proof_dag.conclusion)}")
for step in proof_dag.topological_order():
print(f" [{step.id}] {step.rule}: {to_string(step.conclusion)}")
Documentation
Full interactive documentation, API reference, architecture deep dives, and tutorials are available at:
🌐 https://francofantomius.com/logic-prover/
You can also build the documentation locally using MkDocs:
pip install "logic-prover[docs]"
mkdocs serve
Project Architecture
logic_prover/
├── core/ # AST, Sorts, Signature, Parser, Substitutions, Rewriting, Database
├── axioms/ # Mathematical theories & classified axioms (Logic, Peano, ZFC, Groups, Rings, etc.)
├── prover/ # Resolution Prover, Clausification, Proof Reconstruction
├── explorer/ # Formula Generator, Diversity Metrics, Ranking Heuristics
├── deducer/ # Network Analysis, Minimal Hypotheses, Equivalence Classes
├── exporters/ # Lean 4 Exporter & HTML Interactive Graph Visualizers
├── constructive/ # Intuitionistic & Constructive Provers (LJT calculus, Wallen's matrix method)
└── sol/ # Second-Order Logic (SOL) Extension
Testing
Run unit tests via pytest:
pytest
or with Python's built-in unittest:
python -m unittest discover -s tests
Contributing & Community
We welcome contributions to logic-prover! Please check out the following resources:
- Contributing Guidelines: Setup instructions, code style, testing, and PR workflow.
- Code of Conduct: Community standards and enforcement policies.
- Security Policy: How to report vulnerabilities securely.
- Changelog: Release history and version migration notes.
License & Commercial Use
This project is licensed under the Creative Commons Attribution-NonCommercial 4.0 International Public License (CC BY-NC 4.0). See the LICENSE file for the full legal text.
Key Terms:
- Attribution: You must give appropriate credit to the author (Franco Fantomius), provide a link to the license, and indicate if changes were made.
- Non-Commercial: You may freely use, modify, and distribute this software for academic, research, personal, and non-commercial purposes.
- Commercial Use / Dual Licensing: Any commercial use, including incorporating this software into commercial software, hosted commercial services, or revenue-generating products, requires prior written permission and a commercial license agreement from the author.
For commercial inquiries and licensing agreements, please contact: Franco Fantomius <mail@francofantomius.com>
1 maintainer
Metadata
1 maintainer
Release files for logic-prover 0.2.0
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| logic_prover-0.2.0.tar.gz | 2.2 MB | Details |
Built distributions (wheels)
Total release size: 179.1 MB
Release files / logic_prover-0.2.0.tar.gz
| Download URL | logic_prover-0.2.0.tar.gz |
|---|---|
| Size | 2.2 MB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
555311749b97265d82daeab5558ac6cde54f3913148d923149cd5d25be41e18b
|
|
BLAKE2b-256 checksum How to use checksums |
0f33d49812d59b2787062a81f66f042ccd5dc26ec56174066087e7166604354f
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
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 Aug 18, 2026.
Transparency logRelease files / logic_prover-0.2.0-cp314-cp314-win_arm64.whl
| Download URL | logic_prover-0.2.0-cp314-cp314-win_arm64.whl |
|---|---|
| Size | 3.2 MB |
| Tags | CPython 3.14 Windows ARM64 |
|
SHA-256 checksum How to use checksums |
81f17aeb701424a960ca4f285402451d78b5b7b46ef79749793e4ebeeac145f9
|
|
BLAKE2b-256 checksum How to use checksums |
fce6c2a344b658849218b1fd57a3786cdad81391bbb28dad9f270e2d339112b9
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
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 Aug 18, 2026.
Transparency logRelease files / logic_prover-0.2.0-cp314-cp314-win_amd64.whl
| Download URL | logic_prover-0.2.0-cp314-cp314-win_amd64.whl |
|---|---|
| Size | 3.3 MB |
| Tags | CPython 3.14 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
e84ab0f3c1721403f9398cebf425fddbf76bbb4d22e53768a42a904458c70c52
|
|
BLAKE2b-256 checksum How to use checksums |
40897d8ff07ec17322bf1ff4f6d129b3792bce99ae7b22d31c2665e234139d31
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
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 Aug 18, 2026.
Transparency logRelease files / logic_prover-0.2.0-cp314-cp314-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl
| Download URL | logic_prover-0.2.0-cp314-cp314-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl |
|---|---|
| Size | 10.9 MB |
| Tags | CPython 3.14 Linux glibc 2.17+ x86-64 Linux glibc 2.28+ x86-64 |
|
SHA-256 checksum How to use checksums |
092ad04ce7a082dc8f54f98394da15f057e370eddca6fc51440397131085553d
|
|
BLAKE2b-256 checksum How to use checksums |
b98584452f3814efb507aed8aa10b1cc328d6a5c121b3a187a5612814129db4c
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
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 Aug 18, 2026.
Transparency logRelease files / logic_prover-0.2.0-cp314-cp314-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl
| Download URL | logic_prover-0.2.0-cp314-cp314-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl |
|---|---|
| Size | 10.8 MB |
| Tags | CPython 3.14 Linux glibc 2.17+ ARM64 Linux glibc 2.28+ ARM64 |
|
SHA-256 checksum How to use checksums |
81ad0b2de0e4fcee1a56ff4a6df06429ecb914fb8cdf5e0cff15b2b84d03464b
|
|
BLAKE2b-256 checksum How to use checksums |
1331738c76f04c345af876ab385f58c6f4db33b0ca043fe43e95d38c078b8951
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
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 Aug 18, 2026.
Transparency logRelease files / logic_prover-0.2.0-cp314-cp314-macosx_11_0_arm64.whl
| Download URL | logic_prover-0.2.0-cp314-cp314-macosx_11_0_arm64.whl |
|---|---|
| Size | 3.5 MB |
| Tags | CPython 3.14 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
26d2498994841de92876b79a38685069d09e9b9d55e35ae573984c539b4027ad
|
|
BLAKE2b-256 checksum How to use checksums |
c78a4a113fec68d8681fd625ba49e6bf838993ba24528d4a4b0cf7bd3a13c20d
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
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 Aug 18, 2026.
Transparency logRelease files / logic_prover-0.2.0-cp314-cp314-macosx_10_15_x86_64.whl
| Download URL | logic_prover-0.2.0-cp314-cp314-macosx_10_15_x86_64.whl |
|---|---|
| Size | 3.5 MB |
| Tags | CPython 3.14 macOS 10.15+ x86-64 |
|
SHA-256 checksum How to use checksums |
2e371cd0a1eceedb12c3d0a7e090c9bc077039691cc4a4a0a9c74d307ce88753
|
|
BLAKE2b-256 checksum How to use checksums |
f713e6acc66c2143e2316e0a904e7fc775c77e9571f08aef7dcd159a3d876880
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
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 Aug 18, 2026.
Transparency logRelease files / logic_prover-0.2.0-cp313-cp313-win_arm64.whl
| Download URL | logic_prover-0.2.0-cp313-cp313-win_arm64.whl |
|---|---|
| Size | 3.2 MB |
| Tags | CPython 3.13 Windows ARM64 |
|
SHA-256 checksum How to use checksums |
c768d527dc1fc81e63f549ce872c94f89ea1abf7edb3c2b8a736d2724f632c33
|
|
BLAKE2b-256 checksum How to use checksums |
54772ee26ac96cdea789e31b7e06b65f108292939950e45e7eaaab71018ad5de
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
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 Aug 18, 2026.
Transparency logRelease files / logic_prover-0.2.0-cp313-cp313-win_amd64.whl
| Download URL | logic_prover-0.2.0-cp313-cp313-win_amd64.whl |
|---|---|
| Size | 3.3 MB |
| Tags | CPython 3.13 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
526f13311af95263c505c3f159860ba18cc9ce755e2ef4573cb872978763749c
|
|
BLAKE2b-256 checksum How to use checksums |
e26c14bd7a5ee80fe4de5fc76c87452048126460ca15b704d42282a14c1e5197
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
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 Aug 18, 2026.
Transparency logRelease files / logic_prover-0.2.0-cp313-cp313-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl
| Download URL | logic_prover-0.2.0-cp313-cp313-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl |
|---|---|
| Size | 11.1 MB |
| Tags | CPython 3.13 Linux glibc 2.17+ x86-64 Linux glibc 2.28+ x86-64 |
|
SHA-256 checksum How to use checksums |
f383b021ece6df9e6d0385caf6522c024d871c70d76086a437d0a3426d5aab00
|
|
BLAKE2b-256 checksum How to use checksums |
a7cb83f45561e323b20f6ae34b15d969817d0ef10ccb0c82a7c84afbb67fbe1e
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
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 Aug 18, 2026.
Transparency logRelease files / logic_prover-0.2.0-cp313-cp313-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl
| Download URL | logic_prover-0.2.0-cp313-cp313-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl |
|---|---|
| Size | 10.8 MB |
| Tags | CPython 3.13 Linux glibc 2.17+ ARM64 Linux glibc 2.28+ ARM64 |
|
SHA-256 checksum How to use checksums |
3923466de1bfc8b58336ea6e711c8a4c4e536e002afe63defdae14614a6e0f40
|
|
BLAKE2b-256 checksum How to use checksums |
7b8be4a1f1ba69c4043d517aa97a17be0b1aba584828236529f13cba1a97f034
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
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 Aug 18, 2026.
Transparency logRelease files / logic_prover-0.2.0-cp313-cp313-macosx_11_0_arm64.whl
| Download URL | logic_prover-0.2.0-cp313-cp313-macosx_11_0_arm64.whl |
|---|---|
| Size | 3.5 MB |
| Tags | CPython 3.13 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
bdcc2a8658be00de35ef0bb108d327d79f7585b35e4bc3b64436502064e45dc2
|
|
BLAKE2b-256 checksum How to use checksums |
e3425688164661251fb0b248ba177ba8e4c49ae4722228dadbc2da170e54589b
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
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 Aug 18, 2026.
Transparency logRelease files / logic_prover-0.2.0-cp313-cp313-macosx_10_13_x86_64.whl
| Download URL | logic_prover-0.2.0-cp313-cp313-macosx_10_13_x86_64.whl |
|---|---|
| Size | 3.5 MB |
| Tags | CPython 3.13 macOS 10.13+ x86-64 |
|
SHA-256 checksum How to use checksums |
91b799e8d4c7aea07beb00508624ea6601bd28eaeb358762b6e9f3ae878d153c
|
|
BLAKE2b-256 checksum How to use checksums |
baf6c0f40ed7f1a70f0486a89acc9c6c99799e3b34eec9b033525869af1c7c4c
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
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 Aug 18, 2026.
Transparency logRelease files / logic_prover-0.2.0-cp312-cp312-win_arm64.whl
| Download URL | logic_prover-0.2.0-cp312-cp312-win_arm64.whl |
|---|---|
| Size | 3.2 MB |
| Tags | CPython 3.12 Windows ARM64 |
|
SHA-256 checksum How to use checksums |
71568c7d52cbfc01671427bd1316b00a4f8f24c62adaec1910ac3a64d94ecb96
|
|
BLAKE2b-256 checksum How to use checksums |
5f74bdaeac926c0c2a366203372756d9f2edbf1d738710d3863e1416fea61f72
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
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 Aug 18, 2026.
Transparency logRelease files / logic_prover-0.2.0-cp312-cp312-win_amd64.whl
| Download URL | logic_prover-0.2.0-cp312-cp312-win_amd64.whl |
|---|---|
| Size | 3.3 MB |
| Tags | CPython 3.12 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
ed5e051bbf1648690977c1ba590bf29679d41e06ac2c938dd5582b6391a40ba9
|
|
BLAKE2b-256 checksum How to use checksums |
ea124da1cf6b58a3c61bdd4cb1fc0d8f83fcd0c0186ccbeb41845d125245c792
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
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 Aug 18, 2026.
Transparency logRelease files / logic_prover-0.2.0-cp312-cp312-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl
| Download URL | logic_prover-0.2.0-cp312-cp312-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl |
|---|---|
| Size | 11.2 MB |
| Tags | CPython 3.12 Linux glibc 2.17+ x86-64 Linux glibc 2.28+ x86-64 |
|
SHA-256 checksum How to use checksums |
a6f1de516f4eda4dbe4b5c65c90f2f928277aaf758177b8de5c2b83e1f422c97
|
|
BLAKE2b-256 checksum How to use checksums |
ec638a01007aa7a9c0cc218a2b9642b0249de6ffa99e25ae8757e33f37e3c23a
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
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 Aug 18, 2026.
Transparency logRelease files / logic_prover-0.2.0-cp312-cp312-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl
| Download URL | logic_prover-0.2.0-cp312-cp312-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl |
|---|---|
| Size | 11.0 MB |
| Tags | CPython 3.12 Linux glibc 2.17+ ARM64 Linux glibc 2.28+ ARM64 |
|
SHA-256 checksum How to use checksums |
3bc2940572de0cb56aefd667fefdab02a157db0657f5ad273947976b0699d836
|
|
BLAKE2b-256 checksum How to use checksums |
2d3f99b6376213af372c12f7ad1e1f2e34a605f16b66c15326de682e68d3a212
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
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 Aug 18, 2026.
Transparency logRelease files / logic_prover-0.2.0-cp312-cp312-macosx_11_0_arm64.whl
| Download URL | logic_prover-0.2.0-cp312-cp312-macosx_11_0_arm64.whl |
|---|---|
| Size | 3.5 MB |
| Tags | CPython 3.12 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
cee0dd6f08a105af269887472548fdd34bf2c7f302609c9cac65aada1ded3e1b
|
|
BLAKE2b-256 checksum How to use checksums |
be322b748f3aec1d44206b2d0571b0a90e3f5f826c2e15a9e85fb79a3fbf9d9e
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
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 Aug 18, 2026.
Transparency logRelease files / logic_prover-0.2.0-cp312-cp312-macosx_10_13_x86_64.whl
| Download URL | logic_prover-0.2.0-cp312-cp312-macosx_10_13_x86_64.whl |
|---|---|
| Size | 3.5 MB |
| Tags | CPython 3.12 macOS 10.13+ x86-64 |
|
SHA-256 checksum How to use checksums |
a113a27a763bbf495c55e2394767caa6ac6f9195065d13e376cb265a5b1d9ebb
|
|
BLAKE2b-256 checksum How to use checksums |
6d9fe7ff5fbbd9b52d48e10fa315b251f674f07e4a34616611ed3c0850311318
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
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 Aug 18, 2026.
Transparency logRelease files / logic_prover-0.2.0-cp311-cp311-win_arm64.whl
| Download URL | logic_prover-0.2.0-cp311-cp311-win_arm64.whl |
|---|---|
| Size | 3.2 MB |
| Tags | CPython 3.11 Windows ARM64 |
|
SHA-256 checksum How to use checksums |
bd5357badaef2c33fe77c8d4e496c1ae31767015b80b0edfa7e372d9132c78cd
|
|
BLAKE2b-256 checksum How to use checksums |
f1826e2d24f337254cd46cc88647043eb22c0f6963b5dae69e1e75353716131e
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
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 Aug 18, 2026.
Transparency logRelease files / logic_prover-0.2.0-cp311-cp311-win_amd64.whl
| Download URL | logic_prover-0.2.0-cp311-cp311-win_amd64.whl |
|---|---|
| Size | 3.3 MB |
| Tags | CPython 3.11 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
97a25d660812f340178a27d9f6cfb31ab7707470fd74a41322d187e95cdbbc89
|
|
BLAKE2b-256 checksum How to use checksums |
4a6a518f691002acc8f61fe9aa0cf0a23cfe790d44ede8fa38bfdd42f362b699
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
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 Aug 18, 2026.
Transparency logRelease files / logic_prover-0.2.0-cp311-cp311-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl
| Download URL | logic_prover-0.2.0-cp311-cp311-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl |
|---|---|
| Size | 11.2 MB |
| Tags | CPython 3.11 Linux glibc 2.17+ x86-64 Linux glibc 2.28+ x86-64 |
|
SHA-256 checksum How to use checksums |
2f30ffd7ce3bcb4e7b53662c63ca46b2a9d4181cb56260f713c73407de5aeaf5
|
|
BLAKE2b-256 checksum How to use checksums |
83671ade0c875aa066d230083b1d0227cc16b9fc1a2102f08726681433fbb149
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
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 Aug 18, 2026.
Transparency logRelease files / logic_prover-0.2.0-cp311-cp311-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl
| Download URL | logic_prover-0.2.0-cp311-cp311-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl |
|---|---|
| Size | 11.2 MB |
| Tags | CPython 3.11 Linux glibc 2.17+ ARM64 Linux glibc 2.28+ ARM64 |
|
SHA-256 checksum How to use checksums |
f207a7b373c4d7b0afdb471b98e4f756a5f5a9fb29a44562d4187b9209490136
|
|
BLAKE2b-256 checksum How to use checksums |
bf01c7017fbce8e28e0b30ecd235e2697e045099d397d092ebbea517b3200b27
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
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 Aug 18, 2026.
Transparency logRelease files / logic_prover-0.2.0-cp311-cp311-macosx_11_0_arm64.whl
| Download URL | logic_prover-0.2.0-cp311-cp311-macosx_11_0_arm64.whl |
|---|---|
| Size | 3.5 MB |
| Tags | CPython 3.11 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
cdfd16f11f2b2768f471582011c1ea5a7debd72393811e3a720ab9efac7a951e
|
|
BLAKE2b-256 checksum How to use checksums |
e69d4f28d744a14c4dd8a80ac425bd00bae1ddbe2ec5f535b9c5bafe3cdeb34c
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
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 Aug 18, 2026.
Transparency logRelease files / logic_prover-0.2.0-cp311-cp311-macosx_10_9_x86_64.whl
| Download URL | logic_prover-0.2.0-cp311-cp311-macosx_10_9_x86_64.whl |
|---|---|
| Size | 3.5 MB |
| Tags | CPython 3.11 macOS 10.9+ x86-64 |
|
SHA-256 checksum How to use checksums |
9c833388a203148dd2055e966131990673ef85f8dd8486c25b26d5bf231d45ad
|
|
BLAKE2b-256 checksum How to use checksums |
e75d847480cb8c0ba4c550789d501befedb72199137d0b5a84af9906d4a8d84b
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
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 Aug 18, 2026.
Transparency logRelease files / logic_prover-0.2.0-cp310-cp310-win_arm64.whl
| Download URL | logic_prover-0.2.0-cp310-cp310-win_arm64.whl |
|---|---|
| Size | 3.2 MB |
| Tags | CPython 3.10 Windows ARM64 |
|
SHA-256 checksum How to use checksums |
b3c68f3e74ad5620ed9de9246cb3a4acd151f7113d35c3319a340338b1512f89
|
|
BLAKE2b-256 checksum How to use checksums |
2c19ad721737b328fc2335f6df39ed29abaeffa1ff32369d77ac91c0df802ab9
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
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 Aug 18, 2026.
Transparency logRelease files / logic_prover-0.2.0-cp310-cp310-win_amd64.whl
| Download URL | logic_prover-0.2.0-cp310-cp310-win_amd64.whl |
|---|---|
| Size | 3.3 MB |
| Tags | CPython 3.10 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
bfb2ee9a8dee8a5ccecd06c20aa8ec0f8023f9cc129e0f520335943bcf6bb338
|
|
BLAKE2b-256 checksum How to use checksums |
7970d7ad38deceb1f894abe9db8ddb33a92c1cafe2d5539450318d772edec01d
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
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 Aug 18, 2026.
Transparency logRelease files / logic_prover-0.2.0-cp310-cp310-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl
| Download URL | logic_prover-0.2.0-cp310-cp310-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl |
|---|---|
| Size | 10.8 MB |
| Tags | CPython 3.10 Linux glibc 2.17+ x86-64 Linux glibc 2.28+ x86-64 |
|
SHA-256 checksum How to use checksums |
4a6a4018d683dbb5eb87496a89cafa955b7e1f63b8cb1c0e8a6f7cbd64d477b4
|
|
BLAKE2b-256 checksum How to use checksums |
b86ce3ba1adf9891be3a398cf5ea7fbdde2ce41aba78b7efd51d56e69bbc7d7c
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
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 Aug 18, 2026.
Transparency logRelease files / logic_prover-0.2.0-cp310-cp310-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl
| Download URL | logic_prover-0.2.0-cp310-cp310-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl |
|---|---|
| Size | 10.7 MB |
| Tags | CPython 3.10 Linux glibc 2.17+ ARM64 Linux glibc 2.28+ ARM64 |
|
SHA-256 checksum How to use checksums |
f69d3f10ba6040e4ead95b3b204f553f091f305e9ed47f4b7d44be59e9e7ea50
|
|
BLAKE2b-256 checksum How to use checksums |
60bcc919cc7dda8ee3de5517cf879bb9fd8bfba25b33d9f5b1f241a5c26bedfe
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
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 Aug 18, 2026.
Transparency logRelease files / logic_prover-0.2.0-cp310-cp310-macosx_11_0_arm64.whl
| Download URL | logic_prover-0.2.0-cp310-cp310-macosx_11_0_arm64.whl |
|---|---|
| Size | 3.5 MB |
| Tags | CPython 3.10 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
657231e77293c5659e8c9572ff4b011e1cd7b8ae2515b8ca8cc89e5ddc485397
|
|
BLAKE2b-256 checksum How to use checksums |
4e2e094dd47301ca760ec8c3f6ca79e631ebfd146347cca9cac3af0961277dda
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
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 Aug 18, 2026.
Transparency logRelease files / logic_prover-0.2.0-cp310-cp310-macosx_10_9_x86_64.whl
| Download URL | logic_prover-0.2.0-cp310-cp310-macosx_10_9_x86_64.whl |
|---|---|
| Size | 3.6 MB |
| Tags | CPython 3.10 macOS 10.9+ x86-64 |
|
SHA-256 checksum How to use checksums |
0be44822df652d2ce301def87ba12fb611c1affc4c96e98ccfcf1701029f1c20
|
|
BLAKE2b-256 checksum How to use checksums |
98defb874f7234fddc2a066dc735f4c423c25b26c99d3395bacc5d172521883c
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
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 Aug 18, 2026.
Transparency log
