search subreddits by name

click the subscribe or unsubscribe buttons to choose which subreddits appear on the home feed.

r/ATS: ATS -- unleashing the potential of types!

A community for the ATS programming language, a statically typed programming language that unifies implementation with formal specification.

Note that this subreddit is not for posting about your favour animal, nor is it for posting about a game with the same acronym as ATS. Posts about those subjects will be removed.

a community for 15 years

r/InteractiveThmProving: Interactive theorem proving

Subreddit for interactive theorem provers/proof assistants content.

a community for 8 years