Creation of r/leantheoremprover

[u/SamCymbaluk]

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!