Title: A computer system for checking proofs
Subjects: Computer programs, PL/CV (Computer program language), Verification