9. The apparatus of claim 6 wherein the verification tool executes at least one Nuprl program to perform the verification.
9. The apparatus of claim 6 wherein the verification tool executes at least one Nuprl program to perform the verification. 10. The apparatus of claim 9 wherein the Nuprl program includes a plurality of inference rules.