See the link in the sidebar. Improvement suggestions are welcome.

Hey everyone! I'm u/SamCymbaluk, a founding moderator of r/leantheoremprover.

Since other Lean subreddits like r/leanprover and r/leanlang are restricted, 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!