No project description provided

Navigation

Verified details

These details have been verified by PyPI
Maintainers
Avatar for CosmosZhou from gravatar.com CosmosZhou

Unverified details

These details have not been verified by PyPI
Project links
Meta
Classifiers

Project description

# lean lean4 project translated in python

Project details

Verified details

These details have been verified by PyPI
Maintainers
Avatar for CosmosZhou from gravatar.com CosmosZhou

Unverified details

These details have not been verified by PyPI
Project links
Meta
Classifiers

Release history Release notifications | RSS feed

This version

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

lean4-1.0.0.tar.gz (11.1 kB view details)

Uploaded Source

File details

Details for the file lean4-1.0.0.tar.gz.

File metadata

  • Download URL: lean4-1.0.0.tar.gz
  • Upload date:
  • Size: 11.1 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/4.0.2 CPython/3.11.5

File hashes

Hashes for lean4-1.0.0.tar.gz
Algorithm Hash digest
SHA256 08d003e32ada1b2da9a5f02429a17a0e172eb89a15d8989b70a04785f0e37dc0
MD5 fe2348b71f80fab291c76bb4500dc623
BLAKE2b-256 19780ec6032774fa511aed5083ca493daa26e5cca4b01874413cea78d5998aca

See more details on using hashes here.

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page