Zulip Chat Archive

Stream: Formalized Formal Logic

---

Topics:

• Discussion: FormalizedFormalLogic (9 messages, latest: Nov 16 2025 at 01:24)
• FFL Monthly Report 2025/10 (1 message, latest: Nov 15 2025 at 17:03)
• channel events (5 messages, latest: Nov 15 2025 at 16:54)

---

Last updated: Dec 20 2025 at 21:32 UTC