Starting

Stream: Equational

[Elena-Isasi]

Hey, I was hoping to join but I'm kinda confused about where to start, any suggestions?

[Terence Tao]

Welcome! It may help if you tell us a bit about your background - is it research mathematics, or Lean formalization, or data analysis, for instance? I have a personal log of how the project has progressed so far which may give you some context, and you might want to play around with the Equation Explorer tool to see what the implication graph looks like (we are actually quite close to completing it now, though that is not the final end of the project necessarily.)

[Elena-Isasi]

Research mathematics currently... I'm in grad school. I've been looking
through the links you sent as well

El lun, 11 nov 2024 a las 13:46, Zulip notifications (<noreply@zulip.com>)
escribió: