-
Notifications
You must be signed in to change notification settings - Fork 36
Wednesday Meeting, 2022 08 24
Reinis Cirpons edited this page Sep 7, 2022
·
1 revision
- Reinis Cirpons
- James Mitchell
- Finn Smith
- Maria Tsalakou
- Michael Young
- Olexandr Konovalov
| 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.