[sangel]

You can formally verify all the way to C, C#, Haskell, or even assembly if you use tools like Dafny, Coq, or Vale (for verified assembly). Several projects do this. It’s a lot of work for sure though.

[quixoticaxolotl]

Dafny is a really cool find, thank you!