Automatic Theorem Proving wrapper for Python

Navigation

Verified details

These details have been verified by PyPI
Maintainers
Avatar for eugeneai from gravatar.com eugeneai

Unverified details

These details have not been verified by PyPI
Meta
  • License: GNU GPL
  • Author: Evgeny Cherkashin
  • Tags automatic , theorem , proving , ATP , proof , first-order , logics
Report project as malware

Project description

The author of this package has not provided a project description

Project details

Verified details

These details have been verified by PyPI
Maintainers
Avatar for eugeneai from gravatar.com eugeneai

Unverified details

These details have not been verified by PyPI
Meta
  • License: GNU GPL
  • Author: Evgeny Cherkashin
  • Tags automatic , theorem , proving , ATP , proof , first-order , logics

Release history Release notifications | RSS feed

This version

0.0.2

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

icc.atp-0.0.2.tar.gz (17.3 kB view details)

Uploaded Source

File details

Details for the file icc.atp-0.0.2.tar.gz.

File metadata

  • Download URL: icc.atp-0.0.2.tar.gz
  • Upload date:
  • Size: 17.3 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No

File hashes

Hashes for icc.atp-0.0.2.tar.gz
Algorithm Hash digest
SHA256 8702148b539363e01889fbb3a1fe28005a538d5e91edaabd7d02917548a4eb58
MD5 23f60c543d07b41fd34fcea6e6c4b315
BLAKE2b-256 851ddedd485eecea4cbe040b1b9e0c2e222b56cba4e6eec7c1e9e9fb0df54aac

See more details on using hashes here.

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