Tunes 0.0.0.34

William Tanksley wtanksle@ucsd.edu
Wed, 13 Aug 1997 10:05:11 -0700 (PDT)


On Wed, 13 Aug 1997, Fare Rideau wrote:

> PS: have you seen the ACL2 theorem prover? Impressive -- has been used
> to prove correctness of part of all of actual CPU designs,
> as well as theorems in higher mathematics...
> 	http://www.cli.com/software/acl2/v1-9/

Facinating.  I'd just been studying the concept of Abstract State
Machines, which remind me of Tunes very much.  Do a quick search on Yahoo
-- it's the only entry that'll turn up.  It has a very nice intro to the
subject, and looks VERY appropriate (reminds me of Forth).

> == Faré -=-

-Billy