Zulip Chat Archive

Stream: iris-lean

Next steps (47 messages, latest: Apr 13 2025 at 23:08)
pcore_mono vs pcore_mono' (23 messages, latest: Apr 13 2025 at 16:44)
Figuring out the OFunctor hierarchy (8 messages, latest: Apr 09 2025 at 13:15)
OFunctor definition (19 messages, latest: Apr 05 2025 at 21:17)
Why are sForall and sExists defined the way they are? (8 messages, latest: Mar 30 2025 at 12:00)
Update and switch to lakefile.toml (37 messages, latest: Mar 18 2025 at 12:45)
Use of mathlib? (14 messages, latest: Mar 17 2025 at 21:43)
channel events (1 message, latest: Mar 12 2025 at 16:20)

Last updated: May 02 2025 at 03:31 UTC