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...
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é -=-