Proof Cricket

Proof Cricket checks finite matrix products and polynomial identities with exact rational arithmetic. Its planned application token would coordinate portable access to independently hosted calculation templates and attribute contributions to shared, recomputable workbooks. Local verification stays freely usable; cross-service access and contribution mechanisms remain under evaluation.

Reading trades.