communicate.md

Learn Logic Together

Awesome collection of learning materials to master Logic.

⬇️ Tags legend at the end of the page.

Chats

• 💬 🏴‍☠️ Symbolic logic for math
• 💬 🏴‍☠️ Theory of category
• 💬 🏴‍☠️ Dependant types

Tags legend

• 💬 - chat
• 🏴‍☠️ - non-english