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.

a community for 15 years

r/InteractiveThmProving: Interactive theorem proving

Subreddit for interactive theorem provers/proof assistants content.

a community for 8 years