Us

The Perdue family: Cris, Riki, Cori, and Leyla.

Cris: Prooftoys

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

Quotations

Bosnian Topics

Little Musical Amusements


See also the Kremonic family web site.