1 file was added to this release more than 14 days after its initial publication. Inspect the release files before installing.
# ivy
IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the automated tool interact to expose errors and prove correctness.
## Further Reading
For further information on IVy, see [the IVy web site](http://kenmcmil.github.io/ivy/).
1 maintainer
Release files for ms-ivy 1.8.26
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
File added late
1 file was uploaded more than 14 days after the first file in this release.
While project maintainers occasionally add legitimate files to an existing release, late additions can also indicate a security compromise.
We recommend inspecting the release files before installing.
Built distributions (wheels)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| ms_ivy-1.8.26-cp310-cp310-manylinux1_x86_64.whl | CPython 3.10 | CPython 3.10 | Linux glibc 2.5+ x86-64 | Details |
| ms_ivy-1.8.26-cp310-cp310-macosx_10_9_universal2.whl | CPython 3.10 | CPython 3.10 | macOS 10.9+ universal2 (ARM64, x86-64) | Details |
Total release size: 63.1 MB
Release files / ms_ivy-1.8.26-cp310-cp310-manylinux1_x86_64.whl
| Download URL | ms_ivy-1.8.26-cp310-cp310-manylinux1_x86_64.whl |
|---|---|
| Size | 55.2 MB |
| Tags | CPython 3.10 Linux glibc 2.5+ x86-64 |
|
SHA-256 checksum How to use checksums |
2a71da0bb2ce6314ddb40b6d76c6d734b8102db51c158477c2ef85b45da65dc1
|
|
BLAKE2b-256 checksum How to use checksums |
0af7c8f9264bae27f2c56c2d02630c94a0fa400c66bc6772bf6ff049fdcd8101
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.10.12
|
Release files / ms_ivy-1.8.26-cp310-cp310-macosx_10_9_universal2.whl
File added late
This file was uploaded more than 14 days after the first file in this release.
While project maintainers occasionally add legitimate files to an existing release, late additions can also indicate a security compromise.
We recommend inspecting the release file before installing.
| Download URL | ms_ivy-1.8.26-cp310-cp310-macosx_10_9_universal2.whl |
|---|---|
| Size | 8.0 MB |
| Tags | CPython 3.10 macOS 10.9+ universal2 (ARM64, x86-64) |
|
SHA-256 checksum How to use checksums |
d2f8df47e4731f2e23f7b5ab0852662e871217a9506c36310d75d81a9f09219c
|
|
BLAKE2b-256 checksum How to use checksums |
c838f829838dc68e5e5aad7babd8273f253e424eb399731b34f432ea66b16647
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.1.0 CPython/3.13.12
|
