implications between pi-base
properties that are neither provable from its theorems nor refuted by any of its spaces.
Know the answer to one? Assert it below — it takes effect immediately in your browser.
When you're done, press Submit to send your verdicts for review (one GitHub
issue); once approved they go live for everyone.
…open
…refuted
…provable
…accepted assertions
…your pending
loading…
your local assertions
applied instantly, but only in your browser (stored locally);
press Submit to send the unsubmitted ones for review — they become
permanent for everyone once approved
accepted assertions
loading…
implications now known to be true thanks to assertions
collected on this website, but not derivable from
pi-base/data
alone — “accepted” rows are reviewed and permanent, “yours” are local to this
browser and pending review
none yet
check any implication between two properties —
the engine explains why it holds, gives a counterexample, or lets you assert it