-
Notifications
You must be signed in to change notification settings - Fork 41
Wednesday Meeting, 2026 02 18
Joseph Edwards edited this page Feb 18, 2026
·
1 revision
- Reinis Cirpons
- Joe Edwards
- Gabby Glass
- Josh James
- Jess Levine
- James Mitchell
- Rheya Monerasinghe
- Jake Swent
- Anuj Thakur
- Michael Young
| Participant | Activity |
|---|---|
| Reinis Cirpons | Working on formalising HNN extensions in Rocq |
| Joe Edwards | Finishing a PR review for James, and looking into colour refinement |
| Gabby Glass | Finding something to work on |
| Josh James-Lee | Getting the JLL built with other architectures, then getting the bindings working with the JLL |
| Jess Levine | Starting the implementation of Bayesian networks |
| James Mitchell | Talking to people, and maybe leaving to finish writing an exam |
| Rheya Monerasinghe | Working on Digraph Colour Refinement |
| Jake Swent | Refactoring some code to use the new index conversion, docs, and FroidurePin PR |
| Anuj Thakur | Getting a documentation PR open, then finding a new task |
| Michael Young | Helping people, and maybe working on the Digraph quotients issue |
The meeting began at 14:00 and ended around 17:30. Some attendees joined virtually via Teams.