Zulip Chat Archive

Stream: general

Topic: Atom IDE Config

Kyle Chui (Oct 18 2020 at 03:43):

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

Bryan Gin-ge Chen (Oct 18 2020 at 03:49):

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 (Oct 18 2020 at 03:52):

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

Heather Macbeth (Oct 18 2020 at 03:52):

Here's a video showing what working in Lean is supposed to look like:
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 (Oct 18 2020 at 03:55):

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

Yury G. Kudryashov (Oct 18 2020 at 03:55):

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

Last updated: Dec 20 2023 at 11:08 UTC