Skip to content

Wednesday Meeting, 2026 07 15

Jump to bottom
Joseph Edwards edited this page Jul 15, 2026 · 1 revision

Wednesday Meeting, 2026-07-15

Lecture Theatre B

Attending

  • Reinis Cirpons
  • Joe Edwards
  • Finn Smith

Apologies

  • James Mitchell
  • Michael Young

Minutes

Participant Activity
Reinis Cirpons Working on rocq formalisation of Thompson's groups
Joe Edwards Working on SAEC slides
Finn Smith Helping Joe with SAEC

The meeting began at 14:00, in the non-standard Lecture Theatre B, and ended around 17:30. Joe gave a practice version of his Summer School slides, and helpful improvements were suggested by Reinis and Finn.

Clone this wiki locally