Zulip Chat Archive

Stream: Veil

Need help with porting from Ivy to Veil (13 messages, latest: Feb 28 2026 at 06:01)
Brittle invariance checking in the initial state (9 messages, latest: Feb 12 2026 at 16:40)
relation vs function (2 messages, latest: Feb 12 2026 at 13:12)
safety vs invariant (3 messages, latest: Feb 12 2026 at 13:00)
First proof fails (6 messages, latest: Feb 12 2026 at 02:16)
channel events (1 message, latest: Oct 20 2025 at 01:38)

Last updated: Feb 28 2026 at 14:05 UTC