verification of Strata's soundness? #502
andrew-appel
started this conversation in
General
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
-
In the "Strata Architecture" description, the only mention of foundational soundness is in the phrase, "Strata is implemented in Lean to enable both verification of its own implementation as well as ...".
Is that "verification of its own implementation" entirely future work, or is it proceeding alongside the other work in building Strata?
Beta Was this translation helpful? Give feedback.
All reactions