imandra

Release 2.0.8

A CLI and API client library for interfacing with Imandra's web APIs

PyPI

Keywords
imandra
Install
pip install imandra==2.0.8

Stats

Dependencies
3
Dependent packages
0
Dependent repositories
0
Total releases
39
Latest release
First release
SourceRank
5

Releases

2.0.20
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
See all 39 releases

Login to resync this project