Atom IDE Config

Stream: general

[Kyle Chui]

Can someone help me set up lean to work in Atom?

[Bryan Gin-ge Chen]

Is there a Lean extension for Atom? I'm not aware of one, and without one it will be very difficult to work with Lean in Atom.

[Kyle Chui]

Wait nevermind, I just misunderstood the instructions. Thanks for the help though

[Heather Macbeth]

Here's a video showing what working in Lean is supposed to look like:
https://www.youtube.com/watch?v=b59fpAJ8Mfs
As you can see, the special "infoview" window giving real-time feedback is crucial to the process, and won't exist in YourFavouriteIDE (only in a couple of supported ones)

[Yury G. Kudryashov]

And if you want to write an extension for one more IDE it might make sense to wait for Lean 4.

[Yury G. Kudryashov]

They were going to release it a couple of months ago, so we can hope that they'll release it this year.