py-veripy

0.1.1

A production-ready auto-active verification system for Python, similar to Dafny and Verus

License

A short and simple permissive license with conditions only requiring preservation of copyright and license notices. Licensed works, modifications, and larger works may be distributed under different terms and without source code.

Published

July 21, 2026

11h ago

Package Registry

PyPI

README badge Customize →

License Sources

MIT detected from the LICENSE file in the package source as of July 21, 2026.

Source	License	Class
Licensie (detected)	MIT	Permissive
PyPI (reported)	Not reported	-

No license was reported in the package metadata for this version.

Loading dependencies…

License File

Added Removed Expected

Versions

2 versions

Version	License	Published	Status
0.1.1 Latest Viewing	MIT	Jul 21, 2026	Scanned
0.1.0	MIT	Jul 21, 2026	Scanned