- libc6 (>= 2.29)
- libgcc-s1 (>= 3.0)
- libgmp10
- libreadline8 (>= 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: 239.7 MB
Architectures: arm64 amd64