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

This version

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.18.tar.gz (85.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.18-py3-none-any.whl (99.0 kB view details)

Uploaded Python 3

File details

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

File metadata

  • Download URL: giftpy-3.4.18.tar.gz
  • Upload date:
  • Size: 85.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.18.tar.gz
Algorithm Hash digest
SHA256 fe61c2d00b3162fa5718da5ec6163970e035f9e4bd8f68ba2e50dfdd301db90b
MD5 1e581ab6a167b38ce4c1ee28b6ba5f3e
BLAKE2b-256 3a70c1a198337f7e934c209054c08f5f9a6d5d8ef76bc7fde630b0c0ac9a4740

See more details on using hashes here.

Provenance

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

File metadata

  • Download URL: giftpy-3.4.18-py3-none-any.whl
  • Upload date:
  • Size: 99.0 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.18-py3-none-any.whl
Algorithm Hash digest
SHA256 533e85ce3f01030c3a38d2f13f626d10b205800f973d44903be011359e6a8504
MD5 95fa5c6332b190bc122c413efba48d04
BLAKE2b-256 bb7645038bd484325b2c51896d5be32d0aec450132082c064278c8276062090d

See more details on using hashes here.

Provenance

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