Thomas AdamsinCertoraA New Verification Workflow — The Certora Prover IDE Extension for VSCodeAuthor: Thomas Adams Editors: Noa Babliki, Uri Kirstein, Sarit TenenbaumJan 25, 2023Jan 25, 2023