piwheels

provers

Library to access different theorem provers

Installation

In a virtualenv (see these instructions if you need to create one):

pip3 install provers

Dependencies

• None

Releases

Version	Released	Bullseye Python 3.9	Bookworm Python 3.11	Trixie Python 3.13	Files
0.1.18	2020-10-10
provers-0.1.18-cp35-cp35m-linux_armv6l.whl (1 MB) provers-0.1.18-cp35-cp35m-linux_armv7l.whl (1 MB) provers-0.1.18-cp37-cp37m-linux_armv6l.whl (1 MB) provers-0.1.18-cp37-cp37m-linux_armv7l.whl (1 MB) provers-0.1.18-cp311-cp311-linux_armv6l.whl (1 MB) provers-0.1.18-cp311-cp311-linux_armv7l.whl (1 MB) provers-0.1.18-cp39-cp39-linux_armv6l.whl (1 MB) provers-0.1.18-cp39-cp39-linux_armv7l.whl (1 MB) provers-0.1.18-cp313-cp313-linux_armv6l.whl (24 KB) provers-0.1.18-cp313-cp313-linux_armv7l.whl (24 KB)
0.1.17	2020-07-16
provers-0.1.17-cp35-cp35m-linux_armv6l.whl (1 MB) provers-0.1.17-cp35-cp35m-linux_armv7l.whl (1 MB) provers-0.1.17-cp37-cp37m-linux_armv6l.whl (1 MB) provers-0.1.17-cp37-cp37m-linux_armv7l.whl (1 MB) provers-0.1.17-cp39-cp39-linux_armv6l.whl (1 MB) provers-0.1.17-cp39-cp39-linux_armv7l.whl (1 MB) provers-0.1.17-cp311-cp311-linux_armv6l.whl (1 MB) provers-0.1.17-cp311-cp311-linux_armv7l.whl (1 MB) provers-0.1.17-cp313-cp313-linux_armv6l.whl (24 KB) provers-0.1.17-cp313-cp313-linux_armv7l.whl (24 KB)
0.1.16	2020-05-12
provers-0.1.16-cp35-cp35m-linux_armv7l.whl (1 MB) provers-0.1.16-cp35-cp35m-linux_armv6l.whl (1 MB) provers-0.1.16-cp37-cp37m-linux_armv7l.whl (1 MB) provers-0.1.16-cp37-cp37m-linux_armv6l.whl (1 MB) provers-0.1.16-cp39-cp39-linux_armv6l.whl (1 MB) provers-0.1.16-cp39-cp39-linux_armv7l.whl (1 MB) provers-0.1.16-cp311-cp311-linux_armv6l.whl (1 MB) provers-0.1.16-cp311-cp311-linux_armv7l.whl (1 MB) provers-0.1.16-cp313-cp313-linux_armv6l.whl (24 KB) provers-0.1.16-cp313-cp313-linux_armv7l.whl (24 KB)
0.1.15	2019-11-08
provers-0.1.15-cp39-cp39-linux_armv6l.whl (1 MB) provers-0.1.15-cp39-cp39-linux_armv7l.whl (1 MB) provers-0.1.15-cp35-cp35m-linux_armv7l.whl (1 MB) provers-0.1.15-cp35-cp35m-linux_armv6l.whl (1 MB) provers-0.1.15-cp37-cp37m-linux_armv7l.whl (1 MB) provers-0.1.15-cp37-cp37m-linux_armv6l.whl (1 MB) provers-0.1.15-cp311-cp311-linux_armv6l.whl (1 MB) provers-0.1.15-cp311-cp311-linux_armv7l.whl (1 MB) provers-0.1.15-cp313-cp313-linux_armv6l.whl (23 KB) provers-0.1.15-cp313-cp313-linux_armv7l.whl (23 KB)
0.1.13	2019-11-03
provers-0.1.13-cp39-cp39-linux_armv6l.whl (1 MB) provers-0.1.13-cp39-cp39-linux_armv7l.whl (1 MB) provers-0.1.13-cp37-cp37m-linux_armv7l.whl (1 MB) provers-0.1.13-cp37-cp37m-linux_armv6l.whl (1 MB) provers-0.1.13-cp35-cp35m-linux_armv6l.whl (1 MB) provers-0.1.13-cp35-cp35m-linux_armv7l.whl (1 MB) provers-0.1.13-cp311-cp311-linux_armv6l.whl (1 MB) provers-0.1.13-cp311-cp311-linux_armv7l.whl (1 MB) provers-0.1.13-cp313-cp313-linux_armv6l.whl (21 KB) provers-0.1.13-cp313-cp313-linux_armv7l.whl (21 KB)
0.1.12	2019-10-21
provers-0.1.12-cp39-cp39-linux_armv6l.whl (944 KB) provers-0.1.12-cp39-cp39-linux_armv7l.whl (944 KB) provers-0.1.12-cp35-cp35m-linux_armv7l.whl (940 KB) provers-0.1.12-cp35-cp35m-linux_armv6l.whl (940 KB) provers-0.1.12-cp37-cp37m-linux_armv7l.whl (952 KB) provers-0.1.12-cp37-cp37m-linux_armv6l.whl (952 KB) provers-0.1.12-cp311-cp311-linux_armv6l.whl (947 KB) provers-0.1.12-cp311-cp311-linux_armv7l.whl (947 KB) provers-0.1.12-cp313-cp313-linux_armv6l.whl (15 KB) provers-0.1.12-cp313-cp313-linux_armv7l.whl (15 KB)
0.1.11	2019-10-20
0.1.10	2019-10-20
0.1.9	2019-10-20
0.1.8	2019-10-20
0.1.7	2019-10-20
0.1.6	2019-10-20
0.1.5	2019-10-20
0.1.4	2019-10-20
provers-0.1.4-cp39-cp39-linux_armv6l.whl (340 KB) provers-0.1.4-cp39-cp39-linux_armv7l.whl (340 KB) provers-0.1.4-cp35-cp35m-linux_armv6l.whl (331 KB) provers-0.1.4-cp35-cp35m-linux_armv7l.whl (331 KB) provers-0.1.4-cp37-cp37m-linux_armv6l.whl (343 KB) provers-0.1.4-cp37-cp37m-linux_armv7l.whl (343 KB) provers-0.1.4-cp311-cp311-linux_armv6l.whl (341 KB) provers-0.1.4-cp311-cp311-linux_armv7l.whl (341 KB)
0.1.3	2019-10-20
provers-0.1.3-py3-none-any.whl (4 KB)
0.1.2	2019-10-17
provers-0.1.2-py3-none-any.whl (4 KB)
0.1.1	2019-10-16
provers-0.0.0-py3-none-any.whl (4 KB)
0.1.0	2019-10-16
provers-0.1.0-py3-none-any.whl (3 KB)

Issues with this package?

• Search issues for this package
• Package or version missing? Open a new issue
• Something else? Open a new issue