150
submitted 4 months ago by VegOwOtenks@lemmy.world to c/mathmemes

I'm learning to use Rocq, I felt very powerful.

you are viewing a single comment's thread
view the rest of the comments
[-] magic_lobster_party@fedia.io 20 points 4 months ago

”The proof is trivial and is left as an exercise for the reader”

[-] kkj@lemmy.dbzer0.com 12 points 4 months ago* (last edited 4 months ago)

Submitting this as my paper on the Riemann Hypothesis

[-] bordam@feddit.it 1 points 4 months ago

🤣🤣send it here then!

this post was submitted on 29 Oct 2025
150 points (100.0% liked)

Math Memes

3708 readers
1 users here now

Memes related to mathematics.

Rules:
1: Memes must be related to mathematics in some way.
2: No bigotry of any kind.

founded 2 years ago
MODERATORS