2 ms·After verification, F* programs can be extracted to efficient OCaml, F#, C, WASM, or ASM code.by philonoist 4y agoAfter verification, F* programs can be extracted to efficient OCaml, F#, C, WASM, or ASM code.