-
Notifications
You must be signed in to change notification settings - Fork 38
Wednesday Meeting, 2025 03 19
Joseph Edwards edited this page Oct 1, 2025
·
3 revisions
- Devansh Chopra
- Reinis Cirpons
- Joe Edwards
- Murray Greig
- Frankie Gillis
- Florent Hivert
- Malachi Johns
- Armaan Madanmohan
- Saffron McIver
- James Mitchell
- Perry Lim
- Pramoth Ragavan
- Alex Richardson
- Nadim Searight
- Finn Smith
- Murray Whyte
- Michael Young
None
| Participant | Activity |
|---|---|
| Devansh Chopra | Adding infrastructure to mark functions in Digraphs as deprecated |
| Reinis Cirpons | Working with James and Florent about translating our proofs into formal proofs |
| Joe Edwards | Fixing libsemigroups CI/doc, and maybe some python binding stuff |
| Murray Greig | Working on regular expressions in GAP |
| Frankie Gillis | Two edge transitive |
| Florent Hivert | Working on formal proof stuff, and giving a talk |
| Malachi Johns | Finishing work relating to lattice cover |
| Armaan Madanmohan | Looking for task |
| Saffron McIver | Checking functions for DFS, and why VerticesReachable is so slow |
| James Mitchell | Helping people, and working with Florent and Reinis on formal proof stuff |
| Perry Lim | General computational maths work |
| Pramoth Ragavan | Finishing work on counting AI semigroups |
| Alex Richardson | Working on bindings for Julia |
| Nadim Searight | Addressing issues in the PR on WordGraphView |
| Finn Smith | Making random digraphs more random |
| Murray Whyte | Working on slides for upcoming Algebra and Combinatorics talk |
| Michael Young | Checked in with and helped participants |
The meeting began at 14:07 and ended at about 17:00. Some attendees joined virtually from the Gather town.