RScheme

Ken Evitt cpe2@gte.net
Tue, 8 Jun 1999 02:43:40 -0400


Fare:
"Wow, Paul Wilson's RScheme project does most of what Tunes wants!!!
However, it does not tackle the proof part."

Can the proof system be implemented on top of RScheme reasonably?

-Ken Evitt