Formal Sciences

Add all formal science (e.g., math, computer science) related subreddits here.

Please only make a top-level comment if a subreddit hasn't been listed. Also, if a subreddit has not been listed, but a "close relative" subreddit has, respond to that comment instead. Additionally, please provide a small description of the subreddit (so we can categorize).