3 ms·I'm curious how similar F* is to Lean Prover (which I've dabbled in).by joshmarlow 2y agoI'm curious how similar F* is to Lean Prover (which I've dabbled in).slushy-chivalry 2y agoand both are backed by msft?