2021-09-01 Meeting Agenda

Introductions and ad hoc items

Anything about the new release (Brent)

Mike's proposal: https://hackmd.io/O4c3wiLZQLeXuXirm7dl9A

Discussion on groups of unknown order.