nqthm-2
- This is the `README' file for the 1998 distribution of Nqthm-1992, the Boyer-Moore prover. This distribution of Nqthm corresponds to the second edition of the book `A Computational Logic Handbook', Boyer and Moore, Academic Press, 1998, ISBN 0-12-122955-6. That book provides a comprehensive user's manual for this distribution, including installation instructions, a definition of the logic for which Nqthm-1992 is a theorem prover, documentation of all the user commands, and short introductions to the hundreds of sample input files, which cover many areas of computing and mathematics.