[plt-scheme] Dracula unleashed on Planet

From: Marco Morazan (morazanm at gmail.com)
Date: Mon Aug 6 17:35:33 EDT 2007

Dear Carl,

Thank you! I had just been inquiring about this.



On 8/6/07, Carl Eastlund <cce at ccs.neu.edu> wrote:
> Prepare your garlic, silver, and wooden stakes.  I've just released
> Dracula (the language level for ACL2 programming and theorem proving
> in DrScheme) to the Planet server.  For those who are unfamiliar, ACL2
> is an automated theorem prover based on Applicative Common Lisp;
> Dracula adds the DrScheme IDE and graphical teachpacks to ACL2.  Since
> its last (manually downloadable) release, Dracula has been updated for
> DrScheme 370, and includes a number of bug fixes and updates.
> If you're interested in finding out more about Dracula, check out:
> http://www.ccs.neu.edu/home/cce/acl2/
> If you're curious about ACL2 and automated theorem proving, check out:
> http://www.cs.utexas.edu/users/moore/acl2/
> --
> Carl Eastlund
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-scheme

Posted on the users mailing list.