Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!mips!dimacs.rutgers.edu!aramis.rutgers.edu!paul.rutgers.edu!jit
From: jit@paul.rutgers.edu (Satyajit Nath)
Newsgroups: comp.lang.misc
Subject: Euclid (or similar) implementations
Message-ID: <Mar.21.12.40.43.1991.6840@paul.rutgers.edu>
Date: 21 Mar 91 17:40:45 GMT
Organization: Rutgers Univ., New Brunswick, N.J.
Lines: 13


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