# lean lean4 project translated in python
1 maintainer
Release files for lean4 1.0.0
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| lean4-1.0.0.tar.gz | 11.1 kB | Details |
Release files / lean4-1.0.0.tar.gz
| Download URL | lean4-1.0.0.tar.gz |
|---|---|
| Size | 11.1 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
08d003e32ada1b2da9a5f02429a17a0e172eb89a15d8989b70a04785f0e37dc0
|
|
BLAKE2b-256 checksum How to use checksums |
19780ec6032774fa511aed5083ca493daa26e5cca4b01874413cea78d5998aca
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/4.0.2 CPython/3.11.5
|
