I love F#, and I was looking at Idris for a more functional program verification, theorem-proving language. Then I stumbled upon F* (Fstar) - https://www.fstar-

I love F#, and I was looking at Idris for a more functional program verification, theorem-proving language. Then I stumbled upon F* (Fstar) - https://www.fstar-lang.org/ https://www.fstar-lang.org/ It is like F# but uses the Z3 solver, and is very ML like.