A Few CLI Internal Notes

This directory contains several members of the Internal Notes series of Computational Logic,
Inc. These are exactly the internal notes referenced in the second edition of A Computational Logic
Handbook.
o 57 W. R. Bevier, A Library for Hardware Verification, 1988.
o 100 M. Kaufmann, An Example in Nqthm: Ramsey's Theorem, 1991.
o 182 M. Kaufmann, An Integer Library for Nqthm, 1990.
o 185 M. Kaufmann, An Instructive Example for Beginning Users of the Boyer-Moore Theorem Prover, 1990.
o 210 W. D. Young, A Simple Expression Compiler: A Programming and Proof Example for an Nqthm Course,
1990.
o 216 M. Kaufmann, A Simple Example for Nqthm: Modeling Locking, 1991.

Main page.