programming.dev
  • Communities
  • Create Post
  • Create Community
  • heart
    Support Lemmy
  • search
    Search
  • Login
  • Sign Up
RSS Bot@lemmy.bestiver.seMB to Lobste.rs@lemmy.bestiver.seEnglish · 6 months ago

Beyond Booleans: Propositions in Lean

overreacted.io

external-link
message-square
0
link
fedilink
  • cross-posted to:
  • programming
  • programming_languages
2
external-link

Beyond Booleans: Propositions in Lean

overreacted.io

RSS Bot@lemmy.bestiver.seMB to Lobste.rs@lemmy.bestiver.seEnglish · 6 months ago
message-square
0
link
fedilink
  • cross-posted to:
  • programming
  • programming_languages
Beyond Booleans — overreacted
overreacted.io
external-link
What is the type of 2 + 2 = 4?

Comments

alert-triangle
You must log in or # to comment.

Lobste.rs@lemmy.bestiver.se

lobsters@lemmy.bestiver.se

Subscribe from Remote Instance

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]
lock
Community locked: only moderators can create posts. You can still comment on posts.

RSS Feed of lobste.rs

Visibility: Public
globe

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

  • 15 users / day
  • 113 users / week
  • 398 users / month
  • 1.32K users / 6 months
  • 18 local subscribers
  • 318 subscribers
  • 7.42K Posts
  • 417 Comments
  • Modlog
  • mods:
  • patrick@lemmy.bestiver.se
  • RSS Bot@lemmy.bestiver.se
  • BE: 0.19.13
  • Modlog
  • Legal
  • Instances
  • Docs
  • Code
  • join-lemmy.org