/
2021-09-01 Meeting Agenda

2021-09-01 Meeting Agenda

Owned by Hart Montgomery
Aug 31, 2021
  1. Introductions and ad hoc items
  2. Anything about the new release (Brent)
  3. Mike's proposal: https://hackmd.io/O4c3wiLZQLeXuXirm7dl9A
  4. Discussion on groups of unknown order.