Comment by joshmarlow

I'm curious how similar F* is to Lean Prover (which I've dabbled in).