Zulip Chat Archive
Stream: Formal conjectures
Topic: channel events
Notification Bot (Aug 26 2025 at 11:43):
Web-public channel created by Johan Commelin. Description:
Discussion of https://github.com/google-deepmind/formal-conjectures
Last updated: Feb 28 2026 at 14:05 UTC