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

144

submitted 2 weeks ago by VegOwOtenks@lemmy.world to c/mathmemes@lemmy.blahaj.zone

10 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

[–] threelonmusketeers@sh.itjust.works 4 points 2 weeks ago (1 children)

What is Rocq? Some sort of formal proof writer/checker?

[–] VegOwOtenks@lemmy.world 5 points 2 weeks ago

Yes exactly that. It was previously called Coq, maybe you know it under that name?