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: Dec 20 2025 at 21:32 UTC