Wednesday Meeting, 2023 06 28 - semigroups/Semigroups GitHub Wiki
Wednesday Meeting, 2023-06-28
Lecture Theatre D
Attending
- Reinis Cirpons
- Finn Smith
- Maria Tsalakou
- Murray Whyte
Apologies
- James Mitchell
Minutes
| Participant | Activity |
|---|---|
| Reinis Cirpons | Making the Knuth-Bendix backtrack faster. |
| Finn Smith | Finishing up accesibility template, getting recursive proofs going. |
| Maria Tsalakou | Writing thesis, leaving at 3pm for another meeting. |
| Murray Whyte | Working on something to do with symmetric inverse monoid. |
The meeting began at about 13:55, and ended at about 17:30.