MiTLS is written in FStar, not F#. FStar has some tools (like Kremlin [1]) for extracting C code from the verified FStar, so in theory it wouldn’t be too hard to also extract Rust code too.
> The stable version of miTLS including the new 0.9 release are written in F#
With F# being a link to https://fsharp.org/