Thread Tree View: sci.logic
2 messages
Depth: 1
Cached
Build time: 893.653µsms
| 2 messages | Max depth: 1
Thread Tree
2 nodes
max depth: 1
1 leaves
Root Message
Looking for proof checking/building software for teaching
From: S.J.Thompson
Date: Mon, 23 Nov 1992 20:06
Article: 598
Message-ID: <45@beech.ukc.ac.uk>
Debug Information
Tree Statistics
- Root Article: 598
- Message Count: 2
- Max Depth: 1
- Cache Hit: Yes
- Build Time: 893.653µs
Thread Root
- Subject: Looking for proof checking/building software for teaching
- From: S.J.Thompson
- Date: Mon, 23 Nov 1992 20:06
- Article: 598