Wednesday Meeting, 2022 08 24 - semigroups/Semigroups GitHub Wiki
Wednesday Meeting, 2022-08-24
Lecture Theatre D
Attending
- Reinis Cirpons
- James Mitchell
- Finn Smith
- Maria Tsalakou
- Michael Young
Apologies
- Olexandr Konovalov
Minutes
| Participant | Activity |
|---|---|
| Reinis Cirpons | Implementing homotopical completion procedure for semigroup presentations. |
| James Mitchell | Resolving a mind boggling error. |
| Finn Smith | Fixing some advising problems. |
| Maria Tsalakou | Writing a couple of proofs for the congruences paper. |
| Michael Young | Writing an IRC server in Java. |
The meeting began at about 14:05, and ended at about 17:30.