Licensie / Python

giftpy

3.3.26

GIFT mathematical core - Formally verified constants (Lean 4)

License
MIT
Permissive

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
March 7, 2026
9h ago
Package Registry
PyPI Source Homepage
README badge Customize →
License Sources Match
SourceLicenseClass
Licensie (detected)
MITPermissive
PyPI (reported)
MITPermissive
Loading dependencies…
License File
Added Removed Expected
Versions
5 versions
VersionLicensePublishedStatus
3.3.26 Latest ViewingMITMar 7, 2026 Scanned
3.3.25 MITMar 4, 2026 Scanned
3.3.24 MITFeb 23, 2026 Scanned
3.3.23 MITFeb 23, 2026 Scanned
3.3.21 MITFeb 22, 2026 Scanned