Technology From Purple Prose to Machine-Checkable Proofs by Luther Tychonievich

1. From Purple Prose to Machine-Checkable Proofs: Levels of rigor in family history tools Dr. Luther A. Tychonievich, Ph.D. Dept. Computer Science, University of Virginia…