r/math • u/al3arabcoreleone • 10h ago

What mathematicians should know about the Lean Theorem Prover

terrytao.wordpress.com

193 Upvotes

A brief explanation of proof assistants

14 comments

Subreddit

Posts

Wiki

math

r/math

This subreddit is for discussion of mathematics. All posts and comments should be directly related to mathematics, including topics related to the practice, profession and community of mathematics.

Members Active

4.0m

Sidebar

Welcome to /r/math.

This subreddit is for discussion of mathematics. All posts and comments should be directly related to mathematics, including topics related to the practice, profession and community of mathematics.

Please read the FAQ before posting.

Rule 1: Stay on-topic

All posts and comments should be directly related to mathematics, including topics related to the practice, profession and community of mathematics.

In particular, any political discussion on /r/math should be directly related to mathematics - all threads and comments should be about concrete events and how they affect mathematics. Please avoid derailing such discussions into general political discussion, and report any comments that do so.

Rule 2: Questions should spark discussion

Questions on /r/math should spark discussion. For example, if you think your question can be answered quickly, you should instead post it in the Quick Questions thread.

Requests for calculation or estimation of real-world problems and values are best suited for the Quick Questions thread, /r/askmath or /r/theydidthemath.

If you're asking for help learning/understanding something mathematical, post in the Quick Questions thread or /r/learnmath. This includes reference requests - also see our list of free online resources and recommended books.

Rule 3: No homework problems

Homework problems, practice problems, and similar questions should be directed to /r/learnmath, /r/homeworkhelp or /r/cheatatmathhomework. Do not ask or answer this type of question in /r/math. If you ask for help cheating, you will be banned.

Rule 4: No career or education related questions

If you are asking for advice on choosing classes or career prospects, please post in the stickied Career & Education Questions thread.

Rule 5: No low-effort image/video posts

Image/Video posts should be on-topic and should promote discussion. Memes and similar content are not permitted.

If you upload an image or video, you must explain why it is relevant by posting a comment providing additional information that prompts discussion.

Rule 6: Be excellent to each other

Do not troll, insult, antagonize, or otherwise harass. This includes not only comments directed at users of /r/math, but at any person or group of people (e.g. racism, sexism, homophobia, hate speech, etc.).

Unnecessarily combative or unkind comments may result in an immediate ban.

Rule 7: Generative AI policy

Posts about AI, or about discoveries assisted by AI, are only allowed if they are a direct link to an ArXiv abstract, or to a non-predatory peer-reviewed journal. Discussions about such discoveries should be limited to those posts.

All other AI-related posts (e.g. comments about AI in general, opinion pieces, questions) should posted as comments in the weekly AI megathread.

Posts and comments about AI that do not follow these rules, or made using AI, will be removed.

This subreddit is actively moderated to maintain the standards outlined above; as such, posts and comments are often removed and redirected to a more appropriate location. See more about our removal policy here.

If you post or comment something breaking the rules, the content may be removed - repeated removal violations may escalate to a ban, but not without some kind of prior warning; see here for our policy on warnings and bans. If you feel you were banned unjustly, or that the circumstances of your ban no longer apply, see our ban appeal process here.

Filters: Hide Image Posts Show All Posts

Recurring Threads and Resources

What Are You Working On? - every Monday

Discussing Living Proof - every Tuesday

Quick Questions - every Wednesday

Career and Education Questions - every Thursday

This Week I Learned - every Friday

AI In Mathematics - every Saturday

A Compilation of Free, Online Math Resources.

Click here to chat with us on IRC!

Using LaTeX

To view LaTeX on reddit, install one of the following: