Zulip Chat Archive

Stream: CSLib

Topic: Talk on grind

Ching-Tsun Chou (Nov 29 2025 at 06:40):

https://egraphs.org/meeting/2025-09-18-grind

Ching-Tsun Chou (Nov 29 2025 at 06:44):

I really hope there is a tutorial on how to read grind's diagnostics.

Last updated: Dec 20 2025 at 21:32 UTC