Formally verified AI code generation: natural language -> code + proof -> verified binary
Project description
leancode
Formally verified AI code generation — natural language to proven-correct code via Lean 4 / Dafny.
See documentation for full details.
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
leancode-0.1.0.tar.gz
(20.9 kB
view details)
Built Distribution
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
leancode-0.1.0-py3-none-any.whl
(29.5 kB
view details)
File details
Details for the file leancode-0.1.0.tar.gz.
File metadata
- Download URL: leancode-0.1.0.tar.gz
- Upload date:
- Size: 20.9 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/6.2.0 CPython/3.14.2
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
dd72ab202b505719aec6b526bc3e424efa1e7b35682061d3b8c7f9bb4aa94d62
|
|
| MD5 |
bf078170e1d8dbde005c1f86abb110ad
|
|
| BLAKE2b-256 |
4e4bc0d92ad33a7bfd77dd0ed4709508bdb24bc19acf12abd251c46d5a5a6d47
|
File details
Details for the file leancode-0.1.0-py3-none-any.whl.
File metadata
- Download URL: leancode-0.1.0-py3-none-any.whl
- Upload date:
- Size: 29.5 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/6.2.0 CPython/3.14.2
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
8496ea68fbdc0d5cf0121e462b3021e74aa1665c848cbe1a32ccc27b07a5cba8
|
|
| MD5 |
a496ba7fd36a7718afba6a38940b2121
|
|
| BLAKE2b-256 |
cd21a49f7ee5a885b00a19c8b49d71d1c6048c1c14f7dbac58e46095a6c89a41
|
