A Proof-checker for Predicate Calculus. AIM-027.

purl.stanford.edu/kv206ws0886