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! -- 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-786407282
