Hi @Natalie — is there prior work that takes the approach described in the proposal? I’d like to understand what the full pipeline looks like, using the EVM as an example: starting from a running implementation of a key concept, all the way through to a formal verification of the correctness of its design and implementation.
Thanks,
--h