146
Proof. trivial. Qed.
(lemmy.world)
I'm learning to use Rocq, I felt very powerful.
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
this post was submitted on 29 Oct 2025
146 points (100.0% liked)
Math Memes
2992 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
The amount of times I've been unsure of how to word something so I just write "it's clear that..."