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


Bosnian Topics

Little Musical Amusements

See also the Kremonic family web site.