Artifact Details Title The PDP-6 Proof Checker Catalog Number 102720683 Type Document Date 1967 Author Weiher, William Publisher Stanford University Identifying Numbers Publication Number Memo Number 53 Extent 1 folder Category Technical Report Collection Title Herbert Stoyan collection on LISP programming Series Title Lisp history by year Credit Gift of Herbert Stoyan Lot Number X5687.2010