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

3.4.29

3.4.28

3.4.27

3.4.26

3.4.25

This version

3.4.24

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.24.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.24-py3-none-any.whl (334.2 kB view details)

Uploaded Python 3

File details

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

File metadata

  • Download URL: giftpy-3.4.24.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.24.tar.gz
Algorithm Hash digest
SHA256 caf0fa9f6f7f2ac1dd1803fc49f20e1b885c072310c06edb3e8aae35fa7feda2
MD5 f890180bf5bc84c063b7b6e5c76fcdac
BLAKE2b-256 6503c739bbe47f0184074031cc68c8b4d17c48a710175234880f0efd34b6a539

See more details on using hashes here.

Provenance

The following attestation bundles were made for giftpy-3.4.24.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.24-py3-none-any.whl.

File metadata

  • Download URL: giftpy-3.4.24-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.24-py3-none-any.whl
Algorithm Hash digest
SHA256 9112ea851dab21536efaa94842fe5f34b40148d55ba14619a7cf8fd2b57f8511
MD5 7565f8b1478802ce629bf0b8b5ea674f
BLAKE2b-256 80d2e420ec5f45746616c83890f76f5aee23a2b39b5c4b23a3bc354edbc34aeb

See more details on using hashes here.

Provenance

The following attestation bundles were made for giftpy-3.4.24-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