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
2991 readers
3 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
Yes exactly that. It was previously called Coq, maybe you know it under that name?
https://rocq-prover.org/