pypi.org : acl2-bridge
Connect to an ACL2 Server from Python
Registry
-
Source
- Documentation
- JSON
purl: pkg:pypi/acl2-bridge
Keywords:
ACL2
, theorem proving
, verification
License: BSD-3-Clause
Latest release: over 2 years ago
First release: about 4 years ago
Dependent repositories: 1
Downloads: 142 last month
Stars: 1 on GitHub
Forks: 0 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 4 days ago
Loading...
Readme
Loading...