- libc6 (>= 2.15)
- libgmp10
- libreadline7 (>= 6.0)
- libx11-6
ACL2 is both a programming language in which you can model computer
systems and a tool to help you prove properties of those models.
.
This package contains the base ACL2 binary.
Installed Size: 232.0 MB
Architectures: arm64 amd64