acl2-source 8.5dfsg-5build3 (arm64 binary) in ubuntu oracular

 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 lisp source files to the main ACL2 binary.

Details

Package version:
8.5dfsg-5build3
Source:
acl2 8.5dfsg-5build3 source package in Ubuntu
Status:
Published
Component:
universe
Priority:
Optional

Package relationships