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

This version

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.20.tar.gz (132.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.20-py3-none-any.whl (147.3 kB view details)

Uploaded Python 3

File details

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

File metadata

  • Download URL: giftpy-3.4.20.tar.gz
  • Upload date:
  • Size: 132.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.20.tar.gz
Algorithm Hash digest
SHA256 ad3e40485826482d5774edba968295800eed0993e37d6b4a39287a4e54e80ed6
MD5 6ce94c8656d8abd91602b8fd35fc46b4
BLAKE2b-256 26813150994e4241fd18eb4bd442f32ed429cf0918c3445a19ee207cb8e8368f

See more details on using hashes here.

Provenance

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

File metadata

  • Download URL: giftpy-3.4.20-py3-none-any.whl
  • Upload date:
  • Size: 147.3 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.20-py3-none-any.whl
Algorithm Hash digest
SHA256 824f98e75089dc849f60f836ed30480ccec43737c50b10c96b791be3d2be61f5
MD5 2e220b45962bd42779af032748f9cbb1
BLAKE2b-256 d76a00ae3738909c5a43c9ee1de139d31cff18e8e0e94f8a85b7bfbe558b9876

See more details on using hashes here.

Provenance

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