Lean Together presentation

Stream: Equational

[Vlad Tsyrklevich]

Just wanted to mention here that @Daniel Weber and I were invited to talk about the project at Lean Together which is taking place next week. We'll be giving an overview of the project, so if you're following this chat you are probably already familiar with the topics discussed

[Shreyas Srinivas]

Would love to watch it. One of the unusual features of this project has been that even as a maintainer I haven’t had the time to keep up with all parts of the project

[Pietro Monticone]

For those interested, here is the dedicated topic #Lean Together 2025 > Daniel Weber and Vlad Tsyrklevich: Equational Theories Proj