-
Notifications
You must be signed in to change notification settings - Fork 38
Wednesday Meeting, 2023 06 28
reiniscirpons edited this page Aug 16, 2023
·
1 revision
- Reinis Cirpons
- Finn Smith
- Maria Tsalakou
- Murray Whyte
- James Mitchell
| 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.