|
|
|
|
|
|
by outlace
1705 days ago
|
|
|
I think it all comes down to the aesthetics and user experience. The Lean webpage is inviting and modern. Coq’s website looks like it’s from the 90s. Lean’s integration with Visual Studio Code is clean and user friendly. The language itself is familiar and polished. The imprimatur of a Microsoft team producing Lean being makes it seem more sophisticated. |
|
|