146
Proof. trivial. Qed. (lemmy.world)
submitted 1 week ago by VegOwOtenks@lemmy.world to c/mathmemes
9 comments fedilink hide all child comments

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

you are viewing a single comment's thread
view the rest of the comments
[-] MarriedCavelady50@lemmy.ml 6 points 1 week ago

I’m learning to use Rocq

Willingly? Damnnnnnn

[-] VegOwOtenks@lemmy.world 4 points 1 week ago

Somewhat, I'm quite motivated but it's part of my studies.

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

Math Memes

2991 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
NotAUser