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.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

This version

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.9.tar.gz (57.9 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.9-py3-none-any.whl (70.8 kB view details)

Uploaded Python 3

File details

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

File metadata

  • Download URL: giftpy-3.4.9.tar.gz
  • Upload date:
  • Size: 57.9 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.9.tar.gz
Algorithm Hash digest
SHA256 0c57a2b07de2ad682e32780fa95c10163f576be60b872361fb128cb6dc23e238
MD5 f0e79a560b4f8856e94a864125f64f55
BLAKE2b-256 fc39e6c9dff328a19f544b437b08eee19cb7848bf1574106429008fdceb530e5

See more details on using hashes here.

Provenance

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

File metadata

  • Download URL: giftpy-3.4.9-py3-none-any.whl
  • Upload date:
  • Size: 70.8 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.9-py3-none-any.whl
Algorithm Hash digest
SHA256 882d11a087d1eb9889832dc5b4451f955c23f59f5e13c3222441dd381e9f687e
MD5 3c9055dc6e392672ca5554112216d753
BLAKE2b-256 7294d9a53e4159b276ce5c7f0226e51a57ab166066f856821e5cc141cef6d201

See more details on using hashes here.

Provenance

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