Big news!
Sonar has entered a definitive agreement to acquire Tidelift!
Toggle navigation
Login
GitHub
GitLab
Bitbucket
By logging in you accept
our
terms of service
and
privacy policy
imandra
Release 2.0.9
Release 2.0.9
Toggle Dropdown
2.0.19
2.0.18
2.0.17
2.0.16
2.0.15
2.0.14
2.0.13
2.0.12
2.0.11
2.0.10
A CLI and API client library for interfacing with Imandra's web APIs
PyPI
Keywords
imandra
Install
pip install imandra==2.0.9
Stats
Dependencies
3
Dependent packages
0
Dependent repositories
0
Total releases
38
Latest release
1 day ago
First release
Aug 1, 2019
SourceRank
5
Releases
2.0.19
Sep 5, 2025
2.0.18
Sep 4, 2025
2.0.17
Sep 2, 2025
2.0.16
Sep 2, 2025
2.0.15
Aug 6, 2025
2.0.14
Aug 5, 2025
2.0.13
Aug 5, 2025
2.0.12
Aug 4, 2025
2.0.11
Aug 4, 2025
2.0.10
Jul 21, 2025
See all 38 releases
