proofy: proof system in python

Navigation

Verified details

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

Unverified details

These details have not been verified by PyPI
Project links
Meta
  • License: Apache Software License (Apache-2.0)
  • Author: Martin Spiessl
  • Tags software, verification
Classifiers

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 masp from gravatar.com masp

Unverified details

These details have not been verified by PyPI
Project links
Meta
  • License: Apache Software License (Apache-2.0)
  • Author: Martin Spiessl
  • Tags software, verification
Classifiers

Release history Release notifications | RSS feed

This version

0.1

Download files

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

Source Distributions

No source distribution files available for this release.See tutorial on generating distribution archives.

Built Distribution

proofy-0.1-py3-none-any.whl (1.4 kB view details)

Uploaded Python 3

File details

Details for the file proofy-0.1-py3-none-any.whl.

File metadata

  • Download URL: proofy-0.1-py3-none-any.whl
  • Upload date:
  • Size: 1.4 kB
  • Tags: Python 3
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.2.0 pkginfo/1.6.1 requests/2.23.0 setuptools/46.1.3 requests-toolbelt/0.9.1 tqdm/4.47.0 CPython/3.6.5

File hashes

Hashes for proofy-0.1-py3-none-any.whl
Algorithm Hash digest
SHA256 8f77e43c3d13a60054390791d36f846f90a7b4cb2ffddae4107d347b837fd6b3
MD5 3f17f14a33f8ef733bc1b974875e7e69
BLAKE2b-256 4f335cd9b6f47310227241100b457da1f4dcdc5f4b13a5534be6226043004b77

See more details on using hashes here.

Supported by

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