Zulip Chat Archive

Stream: Formalized Formal Logic

Error with defining function application (8 messages, latest: Feb 20 2026 at 23:37)
Defining Ordinal as a subtype (3 messages, latest: Feb 14 2026 at 01:29)
1000 Theorems about Mathematical Logic (4 messages, latest: Jan 29 2026 at 13:54)
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: Feb 28 2026 at 14:05 UTC