not yet stated
conjectured / open
machine-checked
blast radius (effective open)
refuted
► Play
‹
›
Claim graph (left) and the commit history (right); drag the slider or click a commit.