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
- Startstop - a "universal" init script for reliable management of server programs, compliant with the Linux Standard Base specification.
- ProcessUtils classes for Java
- Quick Introduction to LDAP and OpenLDAP
- Managing the Network Time Protocol in Linux
Personal and Family
Little Musical Amusements
- Borichisms. Rest in peace Dr. Borich.
See also the Kremonic family web site.