Search among 20k+ Matrix rooms on 10k+ servers.
#cda-lean
#cda-lean:hackint.org !BrIwiCVKUqYgdQZXkk:hackint.org
Room
Topic:
Book: https://leanprover.github.io/theoremprovinginlean/index.html | Natural Numbers Game: https://www.ma.imperial.ac.uk/~buzzard/xena/naturalnumbergame/
- Members:
- 70
- Language:
- -
- Server:
- View more from hackint.org
- Join Rule:
- public (can be joined without an invite)
🚀 Thinking of joining this room or starting your own Matrix community? etke.cc makes it easy to run your own secure and private Matrix server — fully managed, no hassle. We suggest a server size based on your community’s needs, from small groups to large spaces.
📊 This community is currently small. A Small-sized Matrix server would be enough to access it.
ⓘ Parsed 12 hours ago