Zulip Chat Archive
Stream: iris-lean
Topic: channel events
Notification Bot (Mar 12 2025 at 16:20):
Web-public channel created by Mario Carneiro. Description:
Discussion related to the Lean port of Iris: https://github.com/leanprover-community/iris-lean
Last updated: May 02 2025 at 03:31 UTC