7 ms·Interesting, how would the proofs be created?by crazypython 5y agoInteresting, how would the proofs be created?