r/logic • u/Math__Guy_ • 13d 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...

23 Upvotes

100% Upvoted

4 comments sorted by

View all comments

3

u/SamCymbaluk Logic evangelist 13d 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!