not_IO@lemmy.blahaj.zone to

196@lemmy.blahaj.zoneEnglish · 16 days ago

robot rule

lemmy.blahaj.zone

1

robot rule

lemmy.blahaj.zone

not_IO@lemmy.blahaj.zone to

196@lemmy.blahaj.zoneEnglish · 16 days ago

Chat

weker01@sh.itjust.works
link
fedilink
arrow-up
0·
15 days ago
Never used a computer algebra system? Like wolfram mathematica or sage math or maple? Then we have proof assisting software like coq and smt solvers like cvc5 or Z3.

This is all software that can solve real math problems in an easy way.

196@lemmy.blahaj.zone

196@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: [email protected]

Be sure to follow the rule before you head out.

Rule: You must post before you leave.

Other rules

Behavior rules:

No bigotry (transphobia, racism, etc…)
No genocide denial
No support for authoritarian behaviour (incl. Tankies)
No namecalling
Accounts from lemmygrad.ml, threads.net, or hexbear.net are held to higher standards
Other things seen as cleary bad

Posting rules:

No AI generated content (DALL-E etc…)
No advertisements
No gore / violence
Mutual aid posts are not allowed

NSFW: NSFW content is permitted but it must be tagged and have content warnings. Anything that doesn’t adhere to this will be removed. Content warnings should be added like: [penis], [explicit description of sex]. Non-sexualized breasts of any gender are not considered inappropriate and therefore do not need to be blurred/tagged.

If you have any questions, feel free to contact us on our matrix channel or email.

Other 196’s:

Visibility: Public

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

42 users / day
197 users / week
855 users / month
1.54K users / 6 months
0 local subscribers
17.5K subscribers
2.22K Posts
8.89K Comments
Modlog