Looking at publications on the home pages for both projects it seems F* results in more practical stuff like hardened cryptography and memory allocation librari

Looking at publications on the home pages for both projects it seems F* results in more practical stuff like hardened cryptography and memory allocation libraries, while Lean presents itself as more of an experiment in developing proof assistants.