Posts
Comments
Comment by
dabbing. (panagiwtis-papanikolaoy) on
Logical Share Splitting ·
2023-09-12T10:21:18.364Z ·
LW ·
GW
As far as I can tell the subsidiser does not actually get a proof of the hypothesis. Is there a way in this system to pay to actually get the proof?