Intermediate langauge for tensor compilers

These details have been verified by PyPI

Project links

Repository

GitHub Statistics

Maintainers

seanmcl-amazon

These details have not been verified by PyPI

Project description

Python bindings for KLR

Usage

Note

There are 3 files in our nki Python package. These are KLR implementations of the corresponding files from the Neuron SDK repo:

We do this to remove a dependency on the neuronxcc Python package that does not build on OSX.

TODO

Automatically sync nki API directories with the neuronxcc package. The later does not install on OSX, and we generally don't want to require it since it's large and unnecessary.
Automatically sync nki examples with the github examples

Notes

I keep getting pycache directories created in the source tree, even with

export PYTHONDONTWRITEBYTECODE=1

This is annoying.

Project details

These details have been verified by PyPI

Project links

Repository

GitHub Statistics

Maintainers

seanmcl-amazon

These details have not been verified by PyPI

Release history Release notifications | RSS feed

0.0.12

Jul 7, 2025

0.0.11

Jun 30, 2025

0.0.10

Jun 17, 2025

0.0.9

Apr 2, 2025

This version

0.0.8

Mar 11, 2025

0.0.7

Feb 12, 2025

0.0.6

Feb 12, 2025

0.0.5

Feb 12, 2025

Download files

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

Source Distributions

No source distribution files available for this release.See tutorial on generating distribution archives.

Built Distributions

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

The dropdown lists show the available interpreters, ABIs, and platforms. Enable javascript to be able to filter the list of wheel files.

klr_lang-0.0.8-cp313-cp313-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl (34.1 MB view details)

Uploaded Mar 11, 2025 CPython 3.13manylinux: glibc 2.27+ x86-64manylinux: glibc 2.28+ x86-64

klr_lang-0.0.8-cp313-cp313-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl (30.7 MB view details)

Uploaded Mar 11, 2025 CPython 3.13manylinux: glibc 2.27+ ARM64manylinux: glibc 2.28+ ARM64

klr_lang-0.0.8-cp313-cp313-macosx_14_0_arm64.whl (30.3 MB view details)

Uploaded Mar 11, 2025 CPython 3.13macOS 14.0+ ARM64

klr_lang-0.0.8-cp313-cp313-macosx_13_0_x86_64.whl (32.8 MB view details)

Uploaded Mar 11, 2025 CPython 3.13macOS 13.0+ x86-64

klr_lang-0.0.8-cp312-cp312-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl (34.1 MB view details)

Uploaded Mar 11, 2025 CPython 3.12manylinux: glibc 2.27+ x86-64manylinux: glibc 2.28+ x86-64

klr_lang-0.0.8-cp312-cp312-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl (30.7 MB view details)

Uploaded Mar 11, 2025 CPython 3.12manylinux: glibc 2.27+ ARM64manylinux: glibc 2.28+ ARM64

klr_lang-0.0.8-cp312-cp312-macosx_14_0_arm64.whl (30.3 MB view details)

Uploaded Mar 11, 2025 CPython 3.12macOS 14.0+ ARM64

klr_lang-0.0.8-cp312-cp312-macosx_13_0_x86_64.whl (32.8 MB view details)

Uploaded Mar 11, 2025 CPython 3.12macOS 13.0+ x86-64

klr_lang-0.0.8-cp311-cp311-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl (34.1 MB view details)

Uploaded Mar 11, 2025 CPython 3.11manylinux: glibc 2.27+ x86-64manylinux: glibc 2.28+ x86-64

klr_lang-0.0.8-cp311-cp311-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl (30.7 MB view details)

Uploaded Mar 11, 2025 CPython 3.11manylinux: glibc 2.27+ ARM64manylinux: glibc 2.28+ ARM64

klr_lang-0.0.8-cp311-cp311-macosx_14_0_arm64.whl (30.3 MB view details)

Uploaded Mar 11, 2025 CPython 3.11macOS 14.0+ ARM64

klr_lang-0.0.8-cp311-cp311-macosx_13_0_x86_64.whl (32.8 MB view details)

Uploaded Mar 11, 2025 CPython 3.11macOS 13.0+ x86-64

klr_lang-0.0.8-cp310-cp310-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl (34.1 MB view details)

Uploaded Mar 11, 2025 CPython 3.10manylinux: glibc 2.27+ x86-64manylinux: glibc 2.28+ x86-64

klr_lang-0.0.8-cp310-cp310-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl (30.7 MB view details)

Uploaded Mar 11, 2025 CPython 3.10manylinux: glibc 2.27+ ARM64manylinux: glibc 2.28+ ARM64

klr_lang-0.0.8-cp310-cp310-macosx_14_0_arm64.whl (30.3 MB view details)

Uploaded Mar 11, 2025 CPython 3.10macOS 14.0+ ARM64

klr_lang-0.0.8-cp310-cp310-macosx_13_0_x86_64.whl (32.8 MB view details)

Uploaded Mar 11, 2025 CPython 3.10macOS 13.0+ x86-64

klr_lang-0.0.8-cp39-cp39-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl (34.1 MB view details)

Uploaded Mar 11, 2025 CPython 3.9manylinux: glibc 2.27+ x86-64manylinux: glibc 2.28+ x86-64

klr_lang-0.0.8-cp39-cp39-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl (30.7 MB view details)

Uploaded Mar 11, 2025 CPython 3.9manylinux: glibc 2.27+ ARM64manylinux: glibc 2.28+ ARM64

klr_lang-0.0.8-cp39-cp39-macosx_14_0_arm64.whl (30.3 MB view details)

Uploaded Mar 11, 2025 CPython 3.9macOS 14.0+ ARM64

klr_lang-0.0.8-cp39-cp39-macosx_13_0_x86_64.whl (32.8 MB view details)

Uploaded Mar 11, 2025 CPython 3.9macOS 13.0+ x86-64

klr_lang-0.0.8-cp38-cp38-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl (34.1 MB view details)

Uploaded Mar 11, 2025 CPython 3.8manylinux: glibc 2.27+ x86-64manylinux: glibc 2.28+ x86-64

klr_lang-0.0.8-cp38-cp38-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl (30.7 MB view details)

Uploaded Mar 11, 2025 CPython 3.8manylinux: glibc 2.27+ ARM64manylinux: glibc 2.28+ ARM64

klr_lang-0.0.8-cp38-cp38-macosx_14_0_arm64.whl (30.3 MB view details)

Uploaded Mar 11, 2025 CPython 3.8macOS 14.0+ ARM64

klr_lang-0.0.8-cp38-cp38-macosx_13_0_x86_64.whl (32.8 MB view details)

Uploaded Mar 11, 2025 CPython 3.8macOS 13.0+ x86-64

File details

Details for the file klr_lang-0.0.8-cp313-cp313-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl.

File metadata

Download URL: klr_lang-0.0.8-cp313-cp313-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
Upload date: Mar 11, 2025
Size: 34.1 MB
Tags: CPython 3.13, manylinux: glibc 2.27+ x86-64, manylinux: glibc 2.28+ x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.12.9

File hashes

Hashes for klr_lang-0.0.8-cp313-cp313-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
Algorithm	Hash digest
SHA256	`4dc8558e884160f530950c2f9035809eff2002f01dbb3eac43c2a77f25d38e59`
MD5	`88a14db332c9fd3c3f6012fab8277b54`
BLAKE2b-256	`b6ca88394f899d3bf2e8f5520ea6b8bca6d4d71bfc0752f79acc9062940c9e38`

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.8-cp313-cp313-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl:

Publisher: ci.yml on leanprover/KLR

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

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: klr_lang-0.0.8-cp313-cp313-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
- Subject digest: 4dc8558e884160f530950c2f9035809eff2002f01dbb3eac43c2a77f25d38e59
- Sigstore transparency entry: 180432073
- Sigstore integration time: Mar 11, 2025
Source repository:
- Permalink: leanprover/KLR@71b00b9a358d4562bb4fc81ab76be30be05da1bc
- Branch / Tag: refs/tags/v0.0.8
- Owner: https://github.com/leanprover
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: ci.yml@71b00b9a358d4562bb4fc81ab76be30be05da1bc
- Trigger Event: push

File details

Details for the file klr_lang-0.0.8-cp313-cp313-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl.

File metadata

Download URL: klr_lang-0.0.8-cp313-cp313-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl
Upload date: Mar 11, 2025
Size: 30.7 MB
Tags: CPython 3.13, manylinux: glibc 2.27+ ARM64, manylinux: glibc 2.28+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.12.9

File hashes

Hashes for klr_lang-0.0.8-cp313-cp313-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl
Algorithm	Hash digest
SHA256	`3c0aff54c2ac987f5f0762861bc6cabc234cbc35659dc0b17b18be6b42d3545e`
MD5	`4a191d748f1717083fc36f95e9abb85b`
BLAKE2b-256	`6bb39add9ddd9b873ee2dec9702d6733e126bcfd2f6f6138e6050a77b5019e94`

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.8-cp313-cp313-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl:

Publisher: ci.yml on leanprover/KLR

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

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: klr_lang-0.0.8-cp313-cp313-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl
- Subject digest: 3c0aff54c2ac987f5f0762861bc6cabc234cbc35659dc0b17b18be6b42d3545e
- Sigstore transparency entry: 180432029
- Sigstore integration time: Mar 11, 2025
Source repository:
- Permalink: leanprover/KLR@71b00b9a358d4562bb4fc81ab76be30be05da1bc
- Branch / Tag: refs/tags/v0.0.8
- Owner: https://github.com/leanprover
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: ci.yml@71b00b9a358d4562bb4fc81ab76be30be05da1bc
- Trigger Event: push

File details

Details for the file klr_lang-0.0.8-cp313-cp313-macosx_14_0_arm64.whl.

File metadata

Download URL: klr_lang-0.0.8-cp313-cp313-macosx_14_0_arm64.whl
Upload date: Mar 11, 2025
Size: 30.3 MB
Tags: CPython 3.13, macOS 14.0+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.12.9

File hashes

Hashes for klr_lang-0.0.8-cp313-cp313-macosx_14_0_arm64.whl
Algorithm	Hash digest
SHA256	`5de74e6f261d3b886c287a06caabab8d98efe345cb35ea756155a7821352bcfa`
MD5	`b5d82243b395833d19bd9742e57c8e5a`
BLAKE2b-256	`2990147b77db5b0cdae058e38205240c4eecc0ae92e042c7571b3e886083df83`

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.8-cp313-cp313-macosx_14_0_arm64.whl:

Publisher: ci.yml on leanprover/KLR

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

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: klr_lang-0.0.8-cp313-cp313-macosx_14_0_arm64.whl
- Subject digest: 5de74e6f261d3b886c287a06caabab8d98efe345cb35ea756155a7821352bcfa
- Sigstore transparency entry: 180432010
- Sigstore integration time: Mar 11, 2025
Source repository:
- Permalink: leanprover/KLR@71b00b9a358d4562bb4fc81ab76be30be05da1bc
- Branch / Tag: refs/tags/v0.0.8
- Owner: https://github.com/leanprover
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: ci.yml@71b00b9a358d4562bb4fc81ab76be30be05da1bc
- Trigger Event: push

File details

Details for the file klr_lang-0.0.8-cp313-cp313-macosx_13_0_x86_64.whl.

File metadata

Download URL: klr_lang-0.0.8-cp313-cp313-macosx_13_0_x86_64.whl
Upload date: Mar 11, 2025
Size: 32.8 MB
Tags: CPython 3.13, macOS 13.0+ x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.12.9

File hashes

Hashes for klr_lang-0.0.8-cp313-cp313-macosx_13_0_x86_64.whl
Algorithm	Hash digest
SHA256	`799e69997c9455ed3bcb7bc96fc803f3817468841200001c6db628c906bda836`
MD5	`c5dcac8cd9780bb8e147e19bc6396241`
BLAKE2b-256	`cced012f1073fca9e2d43bf6b7e017ee28df0178612e8ff0019aca6ff5e9faaf`

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.8-cp313-cp313-macosx_13_0_x86_64.whl:

Publisher: ci.yml on leanprover/KLR

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

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: klr_lang-0.0.8-cp313-cp313-macosx_13_0_x86_64.whl
- Subject digest: 799e69997c9455ed3bcb7bc96fc803f3817468841200001c6db628c906bda836
- Sigstore transparency entry: 180432004
- Sigstore integration time: Mar 11, 2025
Source repository:
- Permalink: leanprover/KLR@71b00b9a358d4562bb4fc81ab76be30be05da1bc
- Branch / Tag: refs/tags/v0.0.8
- Owner: https://github.com/leanprover
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: ci.yml@71b00b9a358d4562bb4fc81ab76be30be05da1bc
- Trigger Event: push

File details

Details for the file klr_lang-0.0.8-cp312-cp312-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl.

File metadata

Download URL: klr_lang-0.0.8-cp312-cp312-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
Upload date: Mar 11, 2025
Size: 34.1 MB
Tags: CPython 3.12, manylinux: glibc 2.27+ x86-64, manylinux: glibc 2.28+ x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.12.9

File hashes

Hashes for klr_lang-0.0.8-cp312-cp312-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
Algorithm	Hash digest
SHA256	`2e745c53c1c6246ebc83bedfc38ea311cdc73976af8a7b5d992c14ffd8e27b3f`
MD5	`d167bd102fcd4b762764409322f04dde`
BLAKE2b-256	`16e8572f97d2745cad189dd7d441de5bb579dc41271d53f9dfddce1bffb6dde4`

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.8-cp312-cp312-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl:

Publisher: ci.yml on leanprover/KLR

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

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: klr_lang-0.0.8-cp312-cp312-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
- Subject digest: 2e745c53c1c6246ebc83bedfc38ea311cdc73976af8a7b5d992c14ffd8e27b3f
- Sigstore transparency entry: 180432083
- Sigstore integration time: Mar 11, 2025
Source repository:
- Permalink: leanprover/KLR@71b00b9a358d4562bb4fc81ab76be30be05da1bc
- Branch / Tag: refs/tags/v0.0.8
- Owner: https://github.com/leanprover
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: ci.yml@71b00b9a358d4562bb4fc81ab76be30be05da1bc
- Trigger Event: push

File details

Details for the file klr_lang-0.0.8-cp312-cp312-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl.

File metadata

Download URL: klr_lang-0.0.8-cp312-cp312-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl
Upload date: Mar 11, 2025
Size: 30.7 MB
Tags: CPython 3.12, manylinux: glibc 2.27+ ARM64, manylinux: glibc 2.28+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.12.9

File hashes

Hashes for klr_lang-0.0.8-cp312-cp312-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl
Algorithm	Hash digest
SHA256	`f473bc3b756979b9e3faf88bb275cd36695740de492b337a7c4a50eac3ff7e57`
MD5	`1dc6eecdbd33021234c382f443c49e93`
BLAKE2b-256	`52a75ccb7c7a7c4131309b5e7f94de4a5de0a6373662f8d1d737eae60722c070`

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.8-cp312-cp312-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl:

Publisher: ci.yml on leanprover/KLR

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

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: klr_lang-0.0.8-cp312-cp312-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl
- Subject digest: f473bc3b756979b9e3faf88bb275cd36695740de492b337a7c4a50eac3ff7e57
- Sigstore transparency entry: 180432000
- Sigstore integration time: Mar 11, 2025
Source repository:
- Permalink: leanprover/KLR@71b00b9a358d4562bb4fc81ab76be30be05da1bc
- Branch / Tag: refs/tags/v0.0.8
- Owner: https://github.com/leanprover
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: ci.yml@71b00b9a358d4562bb4fc81ab76be30be05da1bc
- Trigger Event: push

File details

Details for the file klr_lang-0.0.8-cp312-cp312-macosx_14_0_arm64.whl.

File metadata

Download URL: klr_lang-0.0.8-cp312-cp312-macosx_14_0_arm64.whl
Upload date: Mar 11, 2025
Size: 30.3 MB
Tags: CPython 3.12, macOS 14.0+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.12.9

File hashes

Hashes for klr_lang-0.0.8-cp312-cp312-macosx_14_0_arm64.whl
Algorithm	Hash digest
SHA256	`7c3c1d39ce12284a9c25f64e29253cfd11b92d7abad110c71a7f76493b71085a`
MD5	`a9545ff5b0c408724b9bd9386e0300d9`
BLAKE2b-256	`e078ac8ea951c7a6dceedff9082f928eec7e41d2f37208ca53ab07910223008b`

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.8-cp312-cp312-macosx_14_0_arm64.whl:

Publisher: ci.yml on leanprover/KLR

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

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: klr_lang-0.0.8-cp312-cp312-macosx_14_0_arm64.whl
- Subject digest: 7c3c1d39ce12284a9c25f64e29253cfd11b92d7abad110c71a7f76493b71085a
- Sigstore transparency entry: 180432080
- Sigstore integration time: Mar 11, 2025
Source repository:
- Permalink: leanprover/KLR@71b00b9a358d4562bb4fc81ab76be30be05da1bc
- Branch / Tag: refs/tags/v0.0.8
- Owner: https://github.com/leanprover
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: ci.yml@71b00b9a358d4562bb4fc81ab76be30be05da1bc
- Trigger Event: push

File details

Details for the file klr_lang-0.0.8-cp312-cp312-macosx_13_0_x86_64.whl.

File metadata

Download URL: klr_lang-0.0.8-cp312-cp312-macosx_13_0_x86_64.whl
Upload date: Mar 11, 2025
Size: 32.8 MB
Tags: CPython 3.12, macOS 13.0+ x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.12.9

File hashes

Hashes for klr_lang-0.0.8-cp312-cp312-macosx_13_0_x86_64.whl
Algorithm	Hash digest
SHA256	`55d750110f6a3decb94a4a633bfa389766ed8647db84307d6e136290033248a7`
MD5	`7ee9829217c505fb6263d5745041cf49`
BLAKE2b-256	`4d1bae8bb4635731c37c23332f080a8071cecc5b869cde8e0c02a087a5234779`

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.8-cp312-cp312-macosx_13_0_x86_64.whl:

Publisher: ci.yml on leanprover/KLR

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

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: klr_lang-0.0.8-cp312-cp312-macosx_13_0_x86_64.whl
- Subject digest: 55d750110f6a3decb94a4a633bfa389766ed8647db84307d6e136290033248a7
- Sigstore transparency entry: 180432007
- Sigstore integration time: Mar 11, 2025
Source repository:
- Permalink: leanprover/KLR@71b00b9a358d4562bb4fc81ab76be30be05da1bc
- Branch / Tag: refs/tags/v0.0.8
- Owner: https://github.com/leanprover
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: ci.yml@71b00b9a358d4562bb4fc81ab76be30be05da1bc
- Trigger Event: push

File details

Details for the file klr_lang-0.0.8-cp311-cp311-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl.

File metadata

Download URL: klr_lang-0.0.8-cp311-cp311-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
Upload date: Mar 11, 2025
Size: 34.1 MB
Tags: CPython 3.11, manylinux: glibc 2.27+ x86-64, manylinux: glibc 2.28+ x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.12.9

File hashes

Hashes for klr_lang-0.0.8-cp311-cp311-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
Algorithm	Hash digest
SHA256	`60d8a1ac485d5f7711b8ecf31b8a434a1516c7709f77076fe0a1c7a64313481b`
MD5	`24b8e01c86fbc32d0f647f6de8f64c84`
BLAKE2b-256	`122113065bfb252f55c0249b7cfa438104b90210e7ead4451e3622bede488ed5`

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.8-cp311-cp311-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl:

Publisher: ci.yml on leanprover/KLR

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

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: klr_lang-0.0.8-cp311-cp311-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
- Subject digest: 60d8a1ac485d5f7711b8ecf31b8a434a1516c7709f77076fe0a1c7a64313481b
- Sigstore transparency entry: 180432036
- Sigstore integration time: Mar 11, 2025
Source repository:
- Permalink: leanprover/KLR@71b00b9a358d4562bb4fc81ab76be30be05da1bc
- Branch / Tag: refs/tags/v0.0.8
- Owner: https://github.com/leanprover
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: ci.yml@71b00b9a358d4562bb4fc81ab76be30be05da1bc
- Trigger Event: push

File details

Details for the file klr_lang-0.0.8-cp311-cp311-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl.

File metadata

Download URL: klr_lang-0.0.8-cp311-cp311-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl
Upload date: Mar 11, 2025
Size: 30.7 MB
Tags: CPython 3.11, manylinux: glibc 2.27+ ARM64, manylinux: glibc 2.28+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.12.9

File hashes

Hashes for klr_lang-0.0.8-cp311-cp311-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl
Algorithm	Hash digest
SHA256	`497bb7270e2739b97aeb099436dbd480dc539d47d6fe1d16a9de84589ed6d09e`
MD5	`39237495296c24a6dfcec6730d89e5bf`
BLAKE2b-256	`7f1ac5c5a51faf840b618b981659d2695c87f4e3ec28f2b74bbfb6be480900e1`

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.8-cp311-cp311-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl:

Publisher: ci.yml on leanprover/KLR

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

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: klr_lang-0.0.8-cp311-cp311-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl
- Subject digest: 497bb7270e2739b97aeb099436dbd480dc539d47d6fe1d16a9de84589ed6d09e
- Sigstore transparency entry: 180432044
- Sigstore integration time: Mar 11, 2025
Source repository:
- Permalink: leanprover/KLR@71b00b9a358d4562bb4fc81ab76be30be05da1bc
- Branch / Tag: refs/tags/v0.0.8
- Owner: https://github.com/leanprover
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: ci.yml@71b00b9a358d4562bb4fc81ab76be30be05da1bc
- Trigger Event: push

File details

Details for the file klr_lang-0.0.8-cp311-cp311-macosx_14_0_arm64.whl.

File metadata

Download URL: klr_lang-0.0.8-cp311-cp311-macosx_14_0_arm64.whl
Upload date: Mar 11, 2025
Size: 30.3 MB
Tags: CPython 3.11, macOS 14.0+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.12.9

File hashes

Hashes for klr_lang-0.0.8-cp311-cp311-macosx_14_0_arm64.whl
Algorithm	Hash digest
SHA256	`0d6afc3399f9782ec91fa66515212cf08f0ff9672f0f6025de7824c359db5bb0`
MD5	`22b1fc5c39f3c660143318c1f5170d88`
BLAKE2b-256	`c8a7ad865a0372f14633adb5ee5c0e033f279757f1797be0a6044495edac6a3e`

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.8-cp311-cp311-macosx_14_0_arm64.whl:

Publisher: ci.yml on leanprover/KLR

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

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: klr_lang-0.0.8-cp311-cp311-macosx_14_0_arm64.whl
- Subject digest: 0d6afc3399f9782ec91fa66515212cf08f0ff9672f0f6025de7824c359db5bb0
- Sigstore transparency entry: 180432063
- Sigstore integration time: Mar 11, 2025
Source repository:
- Permalink: leanprover/KLR@71b00b9a358d4562bb4fc81ab76be30be05da1bc
- Branch / Tag: refs/tags/v0.0.8
- Owner: https://github.com/leanprover
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: ci.yml@71b00b9a358d4562bb4fc81ab76be30be05da1bc
- Trigger Event: push

File details

Details for the file klr_lang-0.0.8-cp311-cp311-macosx_13_0_x86_64.whl.

File metadata

Download URL: klr_lang-0.0.8-cp311-cp311-macosx_13_0_x86_64.whl
Upload date: Mar 11, 2025
Size: 32.8 MB
Tags: CPython 3.11, macOS 13.0+ x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.12.9

File hashes

Hashes for klr_lang-0.0.8-cp311-cp311-macosx_13_0_x86_64.whl
Algorithm	Hash digest
SHA256	`cc4e86b15b36218ea811f77b25870a1c2c8134a326166815541eadb48a6df79d`
MD5	`a70c9268e99186f884189e48f74ef4e3`
BLAKE2b-256	`1443460187fa5ccd3085ee306253d85522c478713f244029259644a1abab3a31`

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.8-cp311-cp311-macosx_13_0_x86_64.whl:

Publisher: ci.yml on leanprover/KLR

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

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: klr_lang-0.0.8-cp311-cp311-macosx_13_0_x86_64.whl
- Subject digest: cc4e86b15b36218ea811f77b25870a1c2c8134a326166815541eadb48a6df79d
- Sigstore transparency entry: 180432016
- Sigstore integration time: Mar 11, 2025
Source repository:
- Permalink: leanprover/KLR@71b00b9a358d4562bb4fc81ab76be30be05da1bc
- Branch / Tag: refs/tags/v0.0.8
- Owner: https://github.com/leanprover
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: ci.yml@71b00b9a358d4562bb4fc81ab76be30be05da1bc
- Trigger Event: push

File details

Details for the file klr_lang-0.0.8-cp310-cp310-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl.

File metadata

Download URL: klr_lang-0.0.8-cp310-cp310-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
Upload date: Mar 11, 2025
Size: 34.1 MB
Tags: CPython 3.10, manylinux: glibc 2.27+ x86-64, manylinux: glibc 2.28+ x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.12.9

File hashes

Hashes for klr_lang-0.0.8-cp310-cp310-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
Algorithm	Hash digest
SHA256	`ab6f6965bfde92a82bcffe7e36ea6294f31e794e8b12d40ce6300119dedd0ff1`
MD5	`cd399447b48474a55a7a536c84812d32`
BLAKE2b-256	`fa61d9fd2ebe72c07774270cbe2947dc4662cdd82e094bf72523354407e118a8`

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.8-cp310-cp310-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl:

Publisher: ci.yml on leanprover/KLR

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

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: klr_lang-0.0.8-cp310-cp310-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
- Subject digest: ab6f6965bfde92a82bcffe7e36ea6294f31e794e8b12d40ce6300119dedd0ff1
- Sigstore transparency entry: 180432059
- Sigstore integration time: Mar 11, 2025
Source repository:
- Permalink: leanprover/KLR@71b00b9a358d4562bb4fc81ab76be30be05da1bc
- Branch / Tag: refs/tags/v0.0.8
- Owner: https://github.com/leanprover
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: ci.yml@71b00b9a358d4562bb4fc81ab76be30be05da1bc
- Trigger Event: push

File details

Details for the file klr_lang-0.0.8-cp310-cp310-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl.

File metadata

Download URL: klr_lang-0.0.8-cp310-cp310-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl
Upload date: Mar 11, 2025
Size: 30.7 MB
Tags: CPython 3.10, manylinux: glibc 2.27+ ARM64, manylinux: glibc 2.28+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.12.9

File hashes

Hashes for klr_lang-0.0.8-cp310-cp310-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl
Algorithm	Hash digest
SHA256	`63143b543fa45a29d5b3eb9c1766c6610a4d37fbe1ef88736d5bba36cd234e8e`
MD5	`822f843e314aecc2d98a3955957ada22`
BLAKE2b-256	`ea0c93fae1f58e70683a9144ee46077635d5798749d9c038b292690c2c64cab2`

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.8-cp310-cp310-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl:

Publisher: ci.yml on leanprover/KLR

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

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: klr_lang-0.0.8-cp310-cp310-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl
- Subject digest: 63143b543fa45a29d5b3eb9c1766c6610a4d37fbe1ef88736d5bba36cd234e8e
- Sigstore transparency entry: 180432039
- Sigstore integration time: Mar 11, 2025
Source repository:
- Permalink: leanprover/KLR@71b00b9a358d4562bb4fc81ab76be30be05da1bc
- Branch / Tag: refs/tags/v0.0.8
- Owner: https://github.com/leanprover
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: ci.yml@71b00b9a358d4562bb4fc81ab76be30be05da1bc
- Trigger Event: push

File details

Details for the file klr_lang-0.0.8-cp310-cp310-macosx_14_0_arm64.whl.

File metadata

Download URL: klr_lang-0.0.8-cp310-cp310-macosx_14_0_arm64.whl
Upload date: Mar 11, 2025
Size: 30.3 MB
Tags: CPython 3.10, macOS 14.0+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.12.9

File hashes

Hashes for klr_lang-0.0.8-cp310-cp310-macosx_14_0_arm64.whl
Algorithm	Hash digest
SHA256	`693bc5c9676aa909bd98305128b41d391ea38befc21aa9bdc2145730921dcaf9`
MD5	`2f7e6e6616a4c1536f0183a711eaf1a9`
BLAKE2b-256	`8bb4e5a36ce6b2c4371d252f23f6cce16dee18921aee3d88f58efc7b48f9a515`

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.8-cp310-cp310-macosx_14_0_arm64.whl:

Publisher: ci.yml on leanprover/KLR

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

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: klr_lang-0.0.8-cp310-cp310-macosx_14_0_arm64.whl
- Subject digest: 693bc5c9676aa909bd98305128b41d391ea38befc21aa9bdc2145730921dcaf9
- Sigstore transparency entry: 180432020
- Sigstore integration time: Mar 11, 2025
Source repository:
- Permalink: leanprover/KLR@71b00b9a358d4562bb4fc81ab76be30be05da1bc
- Branch / Tag: refs/tags/v0.0.8
- Owner: https://github.com/leanprover
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: ci.yml@71b00b9a358d4562bb4fc81ab76be30be05da1bc
- Trigger Event: push

File details

Details for the file klr_lang-0.0.8-cp310-cp310-macosx_13_0_x86_64.whl.

File metadata

Download URL: klr_lang-0.0.8-cp310-cp310-macosx_13_0_x86_64.whl
Upload date: Mar 11, 2025
Size: 32.8 MB
Tags: CPython 3.10, macOS 13.0+ x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.12.9

File hashes

Hashes for klr_lang-0.0.8-cp310-cp310-macosx_13_0_x86_64.whl
Algorithm	Hash digest
SHA256	`cee0495580fde1d3eca6193d6264f37d8483a4df85a380507741f574a6505680`
MD5	`dacf264be3639b13e97ed119443bcc43`
BLAKE2b-256	`6937b05c3da0db7b1a4a01cfb8ffecddf290be3a3121008bbe0b710e6804c2db`

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.8-cp310-cp310-macosx_13_0_x86_64.whl:

Publisher: ci.yml on leanprover/KLR

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

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: klr_lang-0.0.8-cp310-cp310-macosx_13_0_x86_64.whl
- Subject digest: cee0495580fde1d3eca6193d6264f37d8483a4df85a380507741f574a6505680
- Sigstore transparency entry: 180432052
- Sigstore integration time: Mar 11, 2025
Source repository:
- Permalink: leanprover/KLR@71b00b9a358d4562bb4fc81ab76be30be05da1bc
- Branch / Tag: refs/tags/v0.0.8
- Owner: https://github.com/leanprover
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: ci.yml@71b00b9a358d4562bb4fc81ab76be30be05da1bc
- Trigger Event: push

File details

Details for the file klr_lang-0.0.8-cp39-cp39-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl.

File metadata

Download URL: klr_lang-0.0.8-cp39-cp39-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
Upload date: Mar 11, 2025
Size: 34.1 MB
Tags: CPython 3.9, manylinux: glibc 2.27+ x86-64, manylinux: glibc 2.28+ x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.12.9

File hashes

Hashes for klr_lang-0.0.8-cp39-cp39-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
Algorithm	Hash digest
SHA256	`5dc1f7ea5ee112e6096b329247bd110b76c96fb01a87311ea3f4d277cfe8cee7`
MD5	`16e4a075fdf0424dad53bf7bcce6a997`
BLAKE2b-256	`8fc64ef524bba4497aba6d2cf50f70d9ad4bf84306b88343b1bf8801c6ba4a53`

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.8-cp39-cp39-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl:

Publisher: ci.yml on leanprover/KLR

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

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: klr_lang-0.0.8-cp39-cp39-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
- Subject digest: 5dc1f7ea5ee112e6096b329247bd110b76c96fb01a87311ea3f4d277cfe8cee7
- Sigstore transparency entry: 180432075
- Sigstore integration time: Mar 11, 2025
Source repository:
- Permalink: leanprover/KLR@71b00b9a358d4562bb4fc81ab76be30be05da1bc
- Branch / Tag: refs/tags/v0.0.8
- Owner: https://github.com/leanprover
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: ci.yml@71b00b9a358d4562bb4fc81ab76be30be05da1bc
- Trigger Event: push

File details

Details for the file klr_lang-0.0.8-cp39-cp39-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl.

File metadata

Download URL: klr_lang-0.0.8-cp39-cp39-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl
Upload date: Mar 11, 2025
Size: 30.7 MB
Tags: CPython 3.9, manylinux: glibc 2.27+ ARM64, manylinux: glibc 2.28+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.12.9

File hashes

Hashes for klr_lang-0.0.8-cp39-cp39-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl
Algorithm	Hash digest
SHA256	`612249fdd7f210b4170b7ebdb5c02fd91b3c76e6db95bbc207dcf68c2b488f27`
MD5	`2269ca90dd97925fd8506c0708bd55c4`
BLAKE2b-256	`f81c903691833ab07d54a407bf835fc3d66a94b7fde3b5bf79fff6fb33f11c70`

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.8-cp39-cp39-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl:

Publisher: ci.yml on leanprover/KLR

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

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: klr_lang-0.0.8-cp39-cp39-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl
- Subject digest: 612249fdd7f210b4170b7ebdb5c02fd91b3c76e6db95bbc207dcf68c2b488f27
- Sigstore transparency entry: 180432066
- Sigstore integration time: Mar 11, 2025
Source repository:
- Permalink: leanprover/KLR@71b00b9a358d4562bb4fc81ab76be30be05da1bc
- Branch / Tag: refs/tags/v0.0.8
- Owner: https://github.com/leanprover
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: ci.yml@71b00b9a358d4562bb4fc81ab76be30be05da1bc
- Trigger Event: push

File details

Details for the file klr_lang-0.0.8-cp39-cp39-macosx_14_0_arm64.whl.

File metadata

Download URL: klr_lang-0.0.8-cp39-cp39-macosx_14_0_arm64.whl
Upload date: Mar 11, 2025
Size: 30.3 MB
Tags: CPython 3.9, macOS 14.0+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.12.9

File hashes

Hashes for klr_lang-0.0.8-cp39-cp39-macosx_14_0_arm64.whl
Algorithm	Hash digest
SHA256	`36f27842747501f69cacb5f8342c96a19ead849f45de1a7565ab5fc2636887d3`
MD5	`24ebb8250ac0f1c668aedc6f0bf1ae42`
BLAKE2b-256	`3bdc811f69a67f635ae4d52ac74b8a315eb5a8ebb831b14d455617336aaffeb8`

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.8-cp39-cp39-macosx_14_0_arm64.whl:

Publisher: ci.yml on leanprover/KLR

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

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: klr_lang-0.0.8-cp39-cp39-macosx_14_0_arm64.whl
- Subject digest: 36f27842747501f69cacb5f8342c96a19ead849f45de1a7565ab5fc2636887d3
- Sigstore transparency entry: 180431997
- Sigstore integration time: Mar 11, 2025
Source repository:
- Permalink: leanprover/KLR@71b00b9a358d4562bb4fc81ab76be30be05da1bc
- Branch / Tag: refs/tags/v0.0.8
- Owner: https://github.com/leanprover
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: ci.yml@71b00b9a358d4562bb4fc81ab76be30be05da1bc
- Trigger Event: push

File details

Details for the file klr_lang-0.0.8-cp39-cp39-macosx_13_0_x86_64.whl.

File metadata

Download URL: klr_lang-0.0.8-cp39-cp39-macosx_13_0_x86_64.whl
Upload date: Mar 11, 2025
Size: 32.8 MB
Tags: CPython 3.9, macOS 13.0+ x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.12.9

File hashes

Hashes for klr_lang-0.0.8-cp39-cp39-macosx_13_0_x86_64.whl
Algorithm	Hash digest
SHA256	`e41d6bb3cc3e89d99ed55154a87741285213115b212f0ddc4f467a57782162b9`
MD5	`29340bb4ad39a50c19c0bb1f0a8521aa`
BLAKE2b-256	`28ddb116b0a215c31cc4f7d007f16c49d7b0c3de8d59bb1b3cb19e04ad82b0d1`

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.8-cp39-cp39-macosx_13_0_x86_64.whl:

Publisher: ci.yml on leanprover/KLR

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

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: klr_lang-0.0.8-cp39-cp39-macosx_13_0_x86_64.whl
- Subject digest: e41d6bb3cc3e89d99ed55154a87741285213115b212f0ddc4f467a57782162b9
- Sigstore transparency entry: 180432027
- Sigstore integration time: Mar 11, 2025
Source repository:
- Permalink: leanprover/KLR@71b00b9a358d4562bb4fc81ab76be30be05da1bc
- Branch / Tag: refs/tags/v0.0.8
- Owner: https://github.com/leanprover
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: ci.yml@71b00b9a358d4562bb4fc81ab76be30be05da1bc
- Trigger Event: push

File details

Details for the file klr_lang-0.0.8-cp38-cp38-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl.

File metadata

Download URL: klr_lang-0.0.8-cp38-cp38-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
Upload date: Mar 11, 2025
Size: 34.1 MB
Tags: CPython 3.8, manylinux: glibc 2.27+ x86-64, manylinux: glibc 2.28+ x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.12.9

File hashes

Hashes for klr_lang-0.0.8-cp38-cp38-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
Algorithm	Hash digest
SHA256	`e7ccf3597560b74163adfee2ee23cd9478d8c457bb2fbb83435b5e635ea7ec22`
MD5	`e963f15e95dfca156b42d68cc3bde59f`
BLAKE2b-256	`afb978199db40193f5e8c1303fb3eba6eb99775031729fccb2b513d27e4ff275`

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.8-cp38-cp38-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl:

Publisher: ci.yml on leanprover/KLR

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

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: klr_lang-0.0.8-cp38-cp38-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
- Subject digest: e7ccf3597560b74163adfee2ee23cd9478d8c457bb2fbb83435b5e635ea7ec22
- Sigstore transparency entry: 180432024
- Sigstore integration time: Mar 11, 2025
Source repository:
- Permalink: leanprover/KLR@71b00b9a358d4562bb4fc81ab76be30be05da1bc
- Branch / Tag: refs/tags/v0.0.8
- Owner: https://github.com/leanprover
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: ci.yml@71b00b9a358d4562bb4fc81ab76be30be05da1bc
- Trigger Event: push

File details

Details for the file klr_lang-0.0.8-cp38-cp38-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl.

File metadata

Download URL: klr_lang-0.0.8-cp38-cp38-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl
Upload date: Mar 11, 2025
Size: 30.7 MB
Tags: CPython 3.8, manylinux: glibc 2.27+ ARM64, manylinux: glibc 2.28+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.12.9

File hashes

Hashes for klr_lang-0.0.8-cp38-cp38-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl
Algorithm	Hash digest
SHA256	`777a1bbc6fc8f3af8c10b30777530184abf2079c5123bfcad3ce96df46bfc3d8`
MD5	`b46a6e773888d73010860ad324ef504a`
BLAKE2b-256	`58d7d1bb1d3dffd757ddbc8a2d00ef81225020b8235443d0ca0f75c9c7274250`

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.8-cp38-cp38-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl:

Publisher: ci.yml on leanprover/KLR

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

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: klr_lang-0.0.8-cp38-cp38-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl
- Subject digest: 777a1bbc6fc8f3af8c10b30777530184abf2079c5123bfcad3ce96df46bfc3d8
- Sigstore transparency entry: 180432055
- Sigstore integration time: Mar 11, 2025
Source repository:
- Permalink: leanprover/KLR@71b00b9a358d4562bb4fc81ab76be30be05da1bc
- Branch / Tag: refs/tags/v0.0.8
- Owner: https://github.com/leanprover
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: ci.yml@71b00b9a358d4562bb4fc81ab76be30be05da1bc
- Trigger Event: push

File details

Details for the file klr_lang-0.0.8-cp38-cp38-macosx_14_0_arm64.whl.

File metadata

Download URL: klr_lang-0.0.8-cp38-cp38-macosx_14_0_arm64.whl
Upload date: Mar 11, 2025
Size: 30.3 MB
Tags: CPython 3.8, macOS 14.0+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.12.9

File hashes

Hashes for klr_lang-0.0.8-cp38-cp38-macosx_14_0_arm64.whl
Algorithm	Hash digest
SHA256	`9726f1a8090d0dc2e8162356e4278eaf7ec8f65ff238834a0e40d6c09b26ffab`
MD5	`24333246186725b473cb9785f68059b6`
BLAKE2b-256	`0023579d67802ec85f46209bd5c96c1b1dbcbc6d68a0a7178bb880b684eb6d3a`

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.8-cp38-cp38-macosx_14_0_arm64.whl:

Publisher: ci.yml on leanprover/KLR

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

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: klr_lang-0.0.8-cp38-cp38-macosx_14_0_arm64.whl
- Subject digest: 9726f1a8090d0dc2e8162356e4278eaf7ec8f65ff238834a0e40d6c09b26ffab
- Sigstore transparency entry: 180432048
- Sigstore integration time: Mar 11, 2025
Source repository:
- Permalink: leanprover/KLR@71b00b9a358d4562bb4fc81ab76be30be05da1bc
- Branch / Tag: refs/tags/v0.0.8
- Owner: https://github.com/leanprover
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: ci.yml@71b00b9a358d4562bb4fc81ab76be30be05da1bc
- Trigger Event: push

File details

Details for the file klr_lang-0.0.8-cp38-cp38-macosx_13_0_x86_64.whl.

File metadata

Download URL: klr_lang-0.0.8-cp38-cp38-macosx_13_0_x86_64.whl
Upload date: Mar 11, 2025
Size: 32.8 MB
Tags: CPython 3.8, macOS 13.0+ x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.12.9

File hashes

Hashes for klr_lang-0.0.8-cp38-cp38-macosx_13_0_x86_64.whl
Algorithm	Hash digest
SHA256	`f482fadc356c821ab71bf2cef052f3427362615057b6d60eabf79698f72b3186`
MD5	`cff8260b838e39ee7f7c37a0c1ffdac7`
BLAKE2b-256	`ed83e0dc4654882e20d6e12e847ed68e766acea14699e4787b95b3c9be9494c8`

See more details on using hashes here.

Provenance

The following attestation bundles were made for klr_lang-0.0.8-cp38-cp38-macosx_13_0_x86_64.whl:

Publisher: ci.yml on leanprover/KLR

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

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: klr_lang-0.0.8-cp38-cp38-macosx_13_0_x86_64.whl
- Subject digest: f482fadc356c821ab71bf2cef052f3427362615057b6d60eabf79698f72b3186
- Sigstore transparency entry: 180432069
- Sigstore integration time: Mar 11, 2025
Source repository:
- Permalink: leanprover/KLR@71b00b9a358d4562bb4fc81ab76be30be05da1bc
- Branch / Tag: refs/tags/v0.0.8
- Owner: https://github.com/leanprover
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: ci.yml@71b00b9a358d4562bb4fc81ab76be30be05da1bc
- Trigger Event: push

klr-lang 0.0.8

Navigation

Verified details

Project links

GitHub Statistics

Maintainers

Unverified details

Meta

Project description

Usage

Note

TODO

Notes

Project details

Verified details

Project links

GitHub Statistics

Maintainers

Unverified details

Meta

Release history Release notifications | RSS feed

Download files

Source Distributions

Built Distributions

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance