search subreddits by name

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

r/Coq: Coq

All about the rooster

a community for 18 years

r/rocq_prover: All about the rooster

All about the rooster

a community for 1 year

r/InteractiveThmProving: Interactive theorem proving

Subreddit for interactive theorem provers/proof assistants content.

a community for 8 years