acl2

8.7

Logic and programming language in which you can model computer systems

Install

brew install acl2

Architecture	Platforms	Version	Download
Apple Silicon	Golden Gate	8.7	File SHA-256 `2ba916bb66b371f5fbb7c11a6db21c79a3a558e5689e0bfe23159be2772ffd27`
Apple Silicon	Tahoe	8.7	File SHA-256 `d673802a2215f160048d525a20744af1ee9b9633bc270d61b809052966e2fa7c`
Apple Silicon	Sequoia	8.7	File SHA-256 `2f898283caefe3eaab6eed40e7a31c5f04b2e0b656a9f42a216e4365ab1b402e`
x86_64	Linux	8.7	File SHA-256 `b8d56408c90a0836123e4f2000ec36de5d6f55713a7296ac0e8fa21b3a031477`