-
Notifications
You must be signed in to change notification settings - Fork 36
Wednesday Meeting, 2023 05 17
reiniscirpons edited this page Jun 14, 2023
·
1 revision
- Kiran Baby
- Jung Cho
- Reinis Cirpons
- Renia Correya
- Finn Smith
- Maria Tsalakou
- Murray Whyte
- Michael Young
| Participant | Activity |
|---|---|
| Kiran Baby | Learning some GAP programming. |
| Jung Cho | Presentation of subsemigroups of the monogenic free inverse semigroup. |
| Reinis Cirpons | Helping install GAP, working on one relation monoids. |
| Renia Correya | Installing GAP, earning some GAP programming. |
| Finn Smith | Implement proof verification. |
| Maria Tsalakou | Doing thesis related things and making some pictures. |
| Murray Whyte | Writing related to partial monoid. |
| Michael Young | Finishing off Digraph pull request. |
The meeting began at about 13:55, and ended at about 17:30.