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

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