2 ms·
Also, VS Code for Lean is beyond awesome. And the Emacs package is not bad either.
by ocschwar 5y ago
Also, VS Code for Lean is beyond awesome. And the Emacs package is not bad either.
- eggy 5y agoI am going to have to try Lean. I find I sometimes fall into the trap of wanting the ideal tool or solution when good enough will get me further. The little I've looked at Lean so far, has been encouraging from when I tried to play with Coq several years ago.