Euclid (or similar) implementations

Article View: comp.lang.misc

Article #3104

#3104

From: Satyajit Nath
Date: Thu, 21 Mar 1991 17:40

13 lines
764 bytes

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

Technical Details

Message-ID: <Mar.21.12.40.43.1991.6840@paul.rutgers.edu>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!mips!dimacs.rutgers.edu!aramis.rutgers.edu!paul.rutgers.edu!jit

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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