Proof Cricket, an Arithmetic Workbook That Shows Its Work

Field notes

Proof Cricket accepts two finite calculation templates: matrix multiplication and polynomial product identities. Matrix entries can be integers or fractions, with dimensions capped at 6 × 6 and numerators or denominators capped at 40 digits. The interface traces operands to products and exact sums, then compares the proposed result and identifies a first mismatch. Exported records contain the inputs and every exact operation; a shared registry and publishing workflow are described as future work.