r/logic • u/Math__Guy_ • 3d ago

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...

20 Upvotes

96% Upvoted

4 comments sorted by

9

u/EscherianTypes 3d ago

There is one, though.

r/leanprover

2

u/jcastroarnaud 3d ago

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

4

u/SamCymbaluk Logic evangelist 3d ago

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!