Path: utzoo!attcan!uunet!seismo!sundc!pitstop!sun!decwrl!purdue!gatech!mcnc!ecsvax!rgn
From: rgn@ecsvax.UUCP (Robert Norris)
Newsgroups: comp.ai
Subject: Re: Proof Checker Wanted
Summary: Me too...
Keywords: proof checker
Message-ID: <5069@ecsvax.UUCP>
Date: 13 May 88 14:05:15 GMT
References: <30133@aero.ARPA>
Organization: UNC Educational Computing Service
Lines: 17

In article <30133@aero.ARPA>, abbott@aero.ARPA (Russell J. Abbott) writes:
> Does anyone have or know of a public domain, free, or cheap proof
> checker that can be used by undergraduates to write and check simple
> proofs.  I'm teaching an automata theory and formal languages course,

[ requirements deleted ]

I would also be interested in a proof checker for possible use in
an Intro. to Theoretical Computer Science course.

Thanks,
Rob
-- 
Rob Norris
Dept. of Math Sciences	   UUCP:      ...!mcnc!ecsvax!rgn
Appalachian State Univ.	   BITNET:    rgn@ecsvax
Boone, NC 28608            (704) 264-2366