CLAIM / DOMAIN / REPLAY / WITNESS
Carry the claim.
Show the evidence.
Compare two selection expressions as a subset, equivalence or disjointness claim. Preserve the domain and counterexample alongside the recipes.
Claim document
Local notebook
Up to 12 cards / 2 million characters in this browser origin. Download JSON for portability. Import recomputes every checked address and witness; edited evidence fails verification.
Domain: at most 4,096 safe integer addresses. Observations: up to 32 distinct samples. A finite check states exactly what was checked; this tool does not generate mathematical proofs.