VegOwOtenks@lemmy.world to

Math Memes@lemmy.blahaj.zoneEnglish · 4 months ago

Proof. trivial. Qed.

146

Proof. trivial. Qed.

VegOwOtenks@lemmy.world to

Math Memes@lemmy.blahaj.zoneEnglish · 4 months ago

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

Chat

VegOwOtenks@lemmy.worldOP
link
fedilink
English
arrow-up
5·
4 months ago
Yes exactly that. It was previously called Coq, maybe you know it under that name?

https://rocq-prover.org/

Math Memes@lemmy.blahaj.zone

mathmemes@lemmy.blahaj.zone

You are not logged in. However you can subscribe from another Fediverse account, for example Lemmy or Mastodon. To do this, paste the following into the search field of your instance: !mathmemes@lemmy.blahaj.zone

Memes related to mathematics.

Rules:
1: Memes must be related to mathematics in some way.
2: No bigotry of any kind.

Visibility: Public

This community can be federated to other instances and be posted/commented in by their users.

2 users / day
46 users / week
337 users / month
899 users / 6 months
1 local subscriber
3.7K subscribers
100 Posts
378 Comments
Modlog

mods:
NotAUser@lemmy.blahaj.zone