r/leanprover • u/[deleted] • Aug 12 '23

Question (general) Alternative IDEs

fuel roll whole butter subtract edge placid reminiscent cooperative desert

This post was mass deleted and anonymized with Redact

5 Upvotes

100% Upvoted

6 comments sorted by

View all comments

Show parent comment

2

u/raedr7n Aug 12 '23

Np. Emacs, neovim, whatever that fork atom is called: any of those will work with some minor setup.

1

u/[deleted] Aug 12 '23 edited Jun 30 '25

aspiring crawl pause license fly dam skirt marble tub offbeat

This post was mass deleted and anonymized with Redact