ACL2s download

Free ACL2 is a system for integrated modeling, simulation, and inductive reasoning.

Download the latest version from ggdownload

Scanned by 76 antivirus programs on Mar 5, 2024. The file is clean.

Version: 4.4.2 (x64)

Date update: May 26, 2016

File name: eclipse-4.4_acl2s-1.1.8.0-macosx-x86_64.tar.gz

Size: 185 MB

Latest versions of ACL2s

See all

4.4.2 (latest)

May 26, 2016

eclipse-4.4_acl2s-1.1.8.0-macosx-x86_64.tar.gz

x64 185 MB

Today's Highlight

PopHub

GitHub client for Mac's menu bar, allowing users to easily check activities and notifications of other users.

Stellarium

Free

Your own planetarium on OS X

1Checker

Free

Free grammar checker for Mac

LadioCast

Free

A free program for mac

Go for YouTube

Free

A free program for mac

Leawo Blu-ray Player

Free

A free program for mac, by Leawo Software Co. Ltd.