Article View: sci.logic
Article #598Looking for proof checking/building software for teaching
From: S.J.Thompson
Date: Mon, 23 Nov 1992 20:06
Date: Mon, 23 Nov 1992 20:06
19 lines
1071 bytes
1071 bytes
I am looking for software to support teaching propositional and predicate logic at undergraduate level. Specifically, I would like software for the IBM PC or for Sun workstations which support the interactive construction of proofs. I will post a summary of responses, assuming I receive any, to the net. Many thanks Simon Thompson ======================================================================= Simon Thompson e-mail: sjt@ukc.ac.uk Computing Laboratory phone: +44-227-764000 University of Kent extn. 3820 Canterbury, Kent, fax: +44-227-762811 CT2 7NF, UK =======================================================================
Technical Details
Message-ID:
<45@beech.ukc.ac.uk>Path:
arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!rook.ukc.ac.uk!beech.ukc.ac.uk!sjtShow Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!rook.ukc.ac.uk!beech.ukc.ac.uk!sjt From: sjt@ukc.ac.uk (S.J.Thompson) Newsgroups: sci.logic Subject: Looking for proof checking/building software for teaching Message-ID: <45@beech.ukc.ac.uk> Date: 23 Nov 92 20:06:46 GMT Sender: sjt@ukc.ac.uk Organization: Computing Lab, University of Kent at Canterbury, UK. Lines: 19 Nntp-Posting-Host: beech.ukc.ac.uk