PyPI project

acl2-bridge

4 indexed releases · newest sdist 1.0 with 3 indexed members

See the project on pypi.org

Files in 1.0 acl2_bridge-1.0.tar.gz

Indexed releases

1.0 acl2_bridge-1.0.tar.gz 3 members
1.0 acl2_bridge-1.0-py3-none-any.whl 2 members
0.2 acl2_bridge-0.2.tar.gz 3 members
0.1 acl2_bridge-0.1.tar.gz 3 members