Work on convex polygons

Stream: Rutgers Lean seminar

[Ian Jauslin]

Vlada and I met today, and we started working on convex polygons again. After a bit of head banging and some Zuliping, we finally got the definition to work with FinEnum

[Ian Jauslin]

The work is done in the IsConvex branch

[Alex Kontorovich]

Sounds great! Want to have a meeting, either virtual or in person? If the latter, I could come in, perhaps, next Thurs June 1?

[Ian Jauslin]

Yeah, that would be great! I would prefer in person, but am open to zoom. I'm free any time on Thursday except 2-4.

[Alex Kontorovich]

Great; let's do in person, say, at 10 am on Thurs? Does someone have the mailing list? I think Brittany and Andre are both away for the summer?

[Ian Jauslin]

Could we make it 11?

[Alex Kontorovich]

Sure, 11 is good for me. Thanks!

[Vláďa Sedláček]

I'll join. Brittany and André are both busy.