Commit a31e05be authored by Robbert Krebbers's avatar Robbert Krebbers

Prove soundness result as stated in the appendix.

parent 7b92a6d7
Pipeline #2773 passed with stage
in 9 minutes and 22 seconds