[plt-scheme] Announce: DrScheme & ACL2 project

From: Dale Vaillancourt (dalev at ccs.neu.edu)
Date: Tue Mar 7 17:06:05 EST 2006

We are pleased to announce the first public release [beta 7] of ACL2  
in DrScheme, a combination of the ACL2 theorem prover system with the  
DrScheme programming environment.  The objective of this project is  
to provide a development environment for ACL2 suitable for novice  
users as well as enhancements of ACL2 that are  attractive for the  
typical undergraduate student (graphics, interactive games, sound).

For more information, installation instructions, and sample code  
please check out the project web site:


All comments, suggestions for enhancements, bug reports, etc. are  


Dale Vaillancourt
Rex Page
Matthias Felleisen

Posted on the users mailing list.