-
Notifications
You must be signed in to change notification settings - Fork 36
Wednesday Meeting, 2023 07 05
reiniscirpons edited this page Aug 16, 2023
·
1 revision
- Reinis Cirpons
- Finn Smith
- Maria Tsalakou
- Murray Whyte
- James Mitchell
- Michael Young
Participant | Activity |
---|---|
Reinis Cirpons | Working on making the Kuth-Bendix backtrack algorithm faster |
Finn Smith | Doing the recursive proof stuff for the one relation monoids. |
Maria Tsalakou | Working on thesis related things. |
Murray Whyte | Reading over work done on symmetric inverse monoid and checking if its correct. |
The meeting began at about 13:55, and ended at about 17:30.