[bluetonium]

Good answer to "What's the difference between LEAN, F* and Dafny?" https://stackoverflow.com/questions/46010923/whats-the-diffe...

[Boulth]

Excellent comment as the first thing I thought after seeing the submission was exactly "how does it compare to f* and lean"?

Thank you!