GIFT mathematical core - Formally verified constants (Lean 4)

Navigation

Verified details

These details have been verified by PyPI
Project links
GitHub Statistics
Maintainers
Avatar for Brieuc from gravatar.com Brieuc

Unverified details

These details have not been verified by PyPI
Project links
Meta
  • License: MIT License (MIT)
  • Author: Brieuc de La Fourniere
  • Tags physics , mathematics , formal-verification , lean4 , standard-model , E8 , topology
  • Requires: Python >=3.9
  • Provides-Extra: dev
Classifiers
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
Project links
GitHub Statistics
Maintainers
Avatar for Brieuc from gravatar.com Brieuc

Unverified details

These details have not been verified by PyPI
Project links
Meta
  • License: MIT License (MIT)
  • Author: Brieuc de La Fourniere
  • Tags physics , mathematics , formal-verification , lean4 , standard-model , E8 , topology
  • Requires: Python >=3.9
  • Provides-Extra: dev
Classifiers

Release history Release notifications | RSS feed

This version

3.4.23

3.4.22

3.4.21

3.4.20

3.4.19

3.4.18

3.4.17

3.4.16

3.4.15

3.4.14

3.4.13

3.4.12

3.4.11

3.4.10

3.4.9

3.4.8

3.4.7

3.4.6

3.4.5

3.4.4

3.4.3

3.3.34

3.3.32

3.3.31

3.3.26

3.3.25

3.3.24

3.3.23

3.3.21

3.3.18

3.3.17

3.3.16

3.3.15

3.3.14

3.3.13

3.3.12

3.3.11

3.3.9

3.3.7

3.3.6

3.3.5

3.3.4

3.3.3

3.3.2

3.3.1

3.3.0

3.2.15

3.2.14

3.2.12

3.2.0

3.1.12

3.1.11

3.1.10

3.1.9

3.1.8

3.1.7

3.1.6

3.1.5

3.1.3

3.1.2

3.1.0

3.0.0

2.0.0

1.7.0

1.6.0

1.5.0

1.4.0

1.3.0

1.2.0

1.0.0

Download files

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

Source Distribution

giftpy-3.4.23.tar.gz (318.1 kB view details)

Uploaded Source

Built Distribution

If you're not sure about the file name format, learn more about wheel file names.

giftpy-3.4.23-py3-none-any.whl (334.2 kB view details)

Uploaded Python 3

File details

Details for the file giftpy-3.4.23.tar.gz.

File metadata

  • Download URL: giftpy-3.4.23.tar.gz
  • Upload date:
  • Size: 318.1 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? Yes
  • Uploaded via: twine/6.1.0 CPython/3.13.12

File hashes

Hashes for giftpy-3.4.23.tar.gz
Algorithm Hash digest
SHA256 10037d3fab90a8b3231fb33c145ed384dda13e74dcd783cc22bc6faca9f91677
MD5 6d1461587f084d3256e5d278847096fa
BLAKE2b-256 cc80d859a2e439f4d14ca60e7aff5cd5fd4cc4aca7c028321d8361b25ec6193e

See more details on using hashes here.

Provenance

The following attestation bundles were made for giftpy-3.4.23.tar.gz:

Publisher: publish.yml on gift-framework/core

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file giftpy-3.4.23-py3-none-any.whl.

File metadata

  • Download URL: giftpy-3.4.23-py3-none-any.whl
  • Upload date:
  • Size: 334.2 kB
  • Tags: Python 3
  • Uploaded using Trusted Publishing? Yes
  • Uploaded via: twine/6.1.0 CPython/3.13.12

File hashes

Hashes for giftpy-3.4.23-py3-none-any.whl
Algorithm Hash digest
SHA256 fc599a826b798b04cd255cc7dd2bb88ef1535abde73d1375194eb7d8d8026671
MD5 58faee3d17f05c61e95e9ad13df984f8
BLAKE2b-256 f17b2b321f3fe621e19f7ca9abee2f283a5dfb6be87b363cec9afe5b7fd093b3

See more details on using hashes here.

Provenance

The following attestation bundles were made for giftpy-3.4.23-py3-none-any.whl:

Publisher: publish.yml on gift-framework/core

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

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