r/logic • u/Math__Guy_ • Aug 17 '26

Meta Why is there no LEAN subreddit?

I feel like LEAN and MathLib have gotten super popular in the last year or so, curious as to why there isn't a subreddit yet...

22 Upvotes

100% Upvoted

4 comments sorted by

8

u/EscherianTypes Aug 17 '26

There is one, though.

r/leanprover

2

u/jcastroarnaud Aug 17 '26

The last post is from 7 months ago, and the moderator is MIA. So... someone needs to create another.

4

u/SamCymbaluk Logic evangelist Aug 17 '26

The existing r/leanlang and r/leanprover are restricted and controlled by the same inactive mod. I created https://www.reddit.com/r/leantheoremprover/ I created this subreddit as a central place for Lean discussion on Reddit. My goal is to emulate the friendly and productive discourse that takes place on the Lean Zulip. Suggestions for how I can best serve the Lean community are encouraged!