UsThe Perdue family: Cris, Riki, Cori, and Leyla.
Prooftoys: Web-based user interface for mathematical reasoning
Instantly build mathematical proofs using natural deduction and higher-order logic. Hosted at the Prooftoys web site.
Other Computing Downloads and Information
Personal and Family
Little Musical Amusements
- Borichisms. Rest in peace Dr. Borich.
See also the Kremonic family web site.