公开演示

小型 Demo，把证据边界做成可以检查的页面。

每个演示都说明可以检查什么，什么仍未证明。