leancode
Formally verified AI code generation — natural language to proven-correct code via Lean 4 / Dafny.
See documentation for full details.
1 maintainer
Release files for leancode 0.1.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 | |
|---|---|---|---|
| leancode-0.1.0.tar.gz | 20.9 kB | Details |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| leancode-0.1.0-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 50.5 kB
Release files / leancode-0.1.0.tar.gz
| Download URL | leancode-0.1.0.tar.gz |
|---|---|
| Size | 20.9 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
dd72ab202b505719aec6b526bc3e424efa1e7b35682061d3b8c7f9bb4aa94d62
|
|
BLAKE2b-256 checksum How to use checksums |
4e4bc0d92ad33a7bfd77dd0ed4709508bdb24bc19acf12abd251c46d5a5a6d47
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.14.2
|
Release files / leancode-0.1.0-py3-none-any.whl
| Download URL | leancode-0.1.0-py3-none-any.whl |
|---|---|
| Size | 29.5 kB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
8496ea68fbdc0d5cf0121e462b3021e74aa1665c848cbe1a32ccc27b07a5cba8
|
|
BLAKE2b-256 checksum How to use checksums |
cd21a49f7ee5a885b00a19c8b49d71d1c6048c1c14f7dbac58e46095a6c89a41
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.14.2
|
