Wheelodex » Projects » proofy

proofy

View on PyPI — Reverse Dependencies (0)

0.1	proofy-0.1-py3-none-any.whl

Wheel Details

Project:	proofy
Version:	0.1
Filename:	proofy-0.1-py3-none-any.whl
Download:	[link]
Size:	1400
MD5:	`3f17f14a33f8ef733bc1b974875e7e69`
SHA256:	`8f77e43c3d13a60054390791d36f846f90a7b4cb2ffddae4107d347b837fd6b3`
Uploaded:	2020-12-13 17:50:32 +0000

dist-info

METADATA · WHEEL · RECORD · top_level.txt

METADATA

Metadata-Version:	2.1
Name:	proofy
Version:	0.1
Summary:	proofy: proof system in python
Author:	Martin Spiessl
Home-Page:	https://gitlab.com/masp/proofy
License:	Apache-2.0
Keywords:	software verification
Classifier:	Development Status :: 1 - Planning
Classifier:	Environment :: Console
Classifier:	Intended Audience :: Science/Research
Classifier:	License :: OSI Approved :: Apache Software License
Classifier:	Operating System :: POSIX :: Linux
Classifier:	Programming Language :: Python :: 3 :: Only
Classifier:	Topic :: Software Development :: Testing
Platform:	Linux

[No description]

WHEEL

Wheel-Version:	1.0
Generator:	bdist_wheel (0.34.2)
Root-Is-Purelib:	true
Tag:	py3-none-any

RECORD

Path	Digest	Size
proofy/proofy.py	sha256=QyU77HgYccDm6_csyn-uavtlzC8guJVIp-dgCgYJgfk	44
proofy-0.1.dist-info/METADATA	sha256=zD8P-7Iabk1CeiW9p0Bg7vAIyflHU8Sb8njnFmiUmVg	605
proofy-0.1.dist-info/WHEEL	sha256=g4nMs7d-Xl9-xC9XovUrsDHGXt-FT0E17Yqo92DEfvY	92
proofy-0.1.dist-info/top_level.txt	sha256=7A-fGRow-nCutuhC7XEwcQ59lPUQJn4de6x_DvlSqpU	7
proofy-0.1.dist-info/RECORD	—	—

top_level.txt

proofy