ACL2s download

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

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

Fortnite

An epic battle royale game

Suggestions

Go for YouTube

Free

A free program for mac

LadioCast

Free

A free program for mac

Stellarium

Free

Your own planetarium on OS X

1Checker

Free

Free grammar checker for Mac

Leawo Blu-ray Player

Free

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