> Hi @SeanVer, thanks for your PR. After discuss with the community, I think > these can be put in a separated repository. I have created a repo called > "Teaclave Verification" which contains formal descriptions, specifications, > and proofs for Teaclave. You can find the repo in this link: > https://github.com/apache/incubator-teaclave-verification. > > You can safely close this PR and create another on to that repo. Thanks!
Hi, @mssun, ok, thanks a lot for your help. -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/apache/incubator-teaclave/pull/481#issuecomment-786463290
