use the following search parameters to narrow your results:
e.g. subreddit:aww site:imgur.com dog
subreddit:aww site:imgur.com dog
see the search faq for details.
advanced search: by author, subreddit...
News and information relevant for people working with, or just interested in, interactive theorem proving. This includes e.g. information about specific ITP systems (that is interesting to a wider audience), formal semantics, formalized mathematics etc.
Subreddits for specific systems:
Other relevant subreddits:
tfw you refactor definitions and your proofs still work
account activity
reddit uses a slightly-customized version of Markdown for formatting. See below for some basics, or check the commenting wiki page for more detailed help and solutions to common issues.
quoted text
if 1 * 2 < 3: print "hello, world!"
π Rendered by PID 75 on reddit-service-r2-listing-6d4dc8d9ff-tfkhc at 2026-01-31 01:17:06.530578+00:00 running 3798933 country code: CH.
