[comp.lang.misc] Euclid

jit@paul.rutgers.edu (Satyajit Nath) (03/22/91)

I am looking for implemetations of Euclid (or similar languages
with the idea of axiomatic verification built in). Although I
would prefer a Sun (4 or 3) implementation, I would be interested
in other implementations too.

Please send me e-mail at iex!iexnj!jit if you have any pointers
in this direction.

Thanks, in advance, 


Satyajit