[plt-scheme] Dracula unleashed on Planet

Dear Carl,

Thank you! I had just been inquiring about this.

Cheers,

Marco

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
>