Open Automated Formal Proof Synthesis: upload Lean files with sorrys, get verified completed proofs across multiple proving backends.
Project description
The author of this package has not provided a project description
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
open_atp-0.1.0.tar.gz
(1.1 MB
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
open_atp-0.1.0-py3-none-any.whl
(665.9 kB
view details)
File details
Details for the file open_atp-0.1.0.tar.gz.
File metadata
- Download URL: open_atp-0.1.0.tar.gz
- Upload date:
- Size: 1.1 MB
- Tags: Source
- Uploaded using Trusted Publishing? Yes
- Uploaded via: uv/0.11.24 {"installer":{"name":"uv","version":"0.11.24","subcommand":["publish"]},"python":null,"implementation":{"name":null,"version":null},"distro":{"name":"Ubuntu","version":"24.04","id":"noble","libc":null},"system":{"name":null,"release":null},"cpu":null,"openssl_version":null,"setuptools_version":null,"rustc_version":null,"ci":true}
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
0f56654b842c4b79a0d27f00951ffeb5a5e26e7011093c2b582117c3f3e2744f
|
|
| MD5 |
54a3fad436966b44fc8e52cfe5f8e4a6
|
|
| BLAKE2b-256 |
80804d880d7dd7dd68652a27841c67f81c98ebfc483aee8bf661e566b8773925
|
File details
Details for the file open_atp-0.1.0-py3-none-any.whl.
File metadata
- Download URL: open_atp-0.1.0-py3-none-any.whl
- Upload date:
- Size: 665.9 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? Yes
- Uploaded via: uv/0.11.24 {"installer":{"name":"uv","version":"0.11.24","subcommand":["publish"]},"python":null,"implementation":{"name":null,"version":null},"distro":{"name":"Ubuntu","version":"24.04","id":"noble","libc":null},"system":{"name":null,"release":null},"cpu":null,"openssl_version":null,"setuptools_version":null,"rustc_version":null,"ci":true}
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
ce22c46b19a08cb9f26c7f3df32e0a2d551b66a442beb6a3cdff8ae8f55d634a
|
|
| MD5 |
b9b654b0e9aa77871e956f1826358561
|
|
| BLAKE2b-256 |
6ea4ade03cf4634f9149294d941b4d74abd6bbf10b9af03ea652452bec68ee5f
|
