Platform(s) and requirements

The complete ACL2 Unix distribution, including public books and documentation is on the order of 115MB.
Detailed size per component.

Platform   Version       Requirements    
Windows/NT    
Macintosh   Macintosh Common Lisp
Unix 16MB+ memory
30MB disk (binary + sources)
10MB disk (HTML documentation)
60MB disk (Books) 		Allegro, GCL, Lispworks, or Lucid Common Lisp.
Network    

This page is URL http://www.computationallogic.com/software/caeti/acl2/platform.html