I'm learning to use Rocq, I felt very powerful.
”The proof is trivial and is left as an exercise for the reader”
this post was submitted on 29 Oct 2025
144 points (98.6% liked)
Math Memes
2996 readers
2 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
Submitting this as my paper on the Riemann Hypothesis
🤣🤣send it here then!
I’m learning to use Rocq
Willingly? Damnnnnnn
Somewhat, I'm quite motivated but it's part of my studies.
The reader can clearly see...
What is Rocq? Some sort of formal proof writer/checker?
Yes exactly that. It was previously called Coq, maybe you know it under that name?
"Trivial" and "naive".
And I'm looking at Nima Arkani Hamed, he's either a physicist or cosmologist or both, but in every lecture or interview, if he doesn't use either word "trivial" or "naive" every minute or so, his forehead veins start popping out and he starts sweating. He can't be bothered to explain what is evidently obvious... to him, in his ivory tower, so he takes constant fucking non-explanation shortcuts.
The amount of times I've been unsure of how to word something so I just write "it's clear that..."